Cet article décrit les résultats d’une étude qualitative sur l’intégration de fonctions d’annotations pour donner des retours aux étudiants dans le système LabBook de comptes rendus de TP en sciences expérimentales. Il vise à valider l’hypothèse suivante : l’intégration d’annotations ayant une sémantique formelle est utile aux enseignants pour donner des retours sous forme d’annotations aux étudiants sur leurs comptes rendus et permet de leur fournir de nouvelles fonctionnalités. Les résultats valident l’hypothèse avec les enseignants interrogés. Ils montrent que la sémantique formelle des annotations leur est utile pour faire des retours aux étudiants et permet de leur offrir des fonctionnalités qui peuvent les aider à évaluer les difficultés rencontrées par les étudiants, comme la synthèse automatique des retours. De plus, elle permet de mettre en oeuvre des outils correspondant à leurs pratiques récurrentes à travers l’utilisation des patrons d’annotation et des annotations précédentes. Finalement, si la sémantique formelle n’est pas obligatoire pour donner des retours aux étudiants car le texte libre est suffisant, les fonctionnalités les plus utiles ne sont plus offertes sans l’accompagner d’une sémantique formelle.