}
catch (Exception excep) {
/**
* Autres exceptions... Entrée dans catch{...}
*/
contextSnapshot.restore();
if(excep instanceof InterpreterException){
/*
* Attention, on ne capture pas les exceptions interpréteur dont le code est négatif...
*/
if(((InterpreterException)excep).getErrCode()<0){