Ajouts de commentaires pour la tracibilité des spécifications