(fr) précision sur les méthodes de debug, sur le moteur d'exécution par défaut et ajout du squelette pour les annotations