E/Commenter le code
D/La SPEC2 est en commentaire
Expliciter les formats des entrées
deleting file added for error
spec6comm
Spec6