170171172173174175176177178179180
} /* * De nouveau, si la pile n'est pas correctement rétablie... */ contextSnapshot.restoreGlobalOnly(); /* * restaurer les paramètres qui ont précédé l'exécution de la section A... * * Ceux-ci peuvent être traités par un (try{...} catch{...})