Rename gestionnaire to instructeur (in a comment) (#4190)
Rename gestionnaire to instructeur (in a comment) (#4190)

Renomme Gestionnaire en Instructeur dans un commentaire du code
sgmap/tps,sgmap/tps,sgmap/tps