modification de coordinator afin d'implémenter la méthode CTReceived. Ne fonctionne pas encore, voir le README dans src pour plus de détail. Hugo
correction de qlques bug dans servo.hpp et servo.cpp qui empechaient le fonctionnement des tests de coordinator
correction de qlques bug dans servo.hpp et servo.cpp qui empechaient le fonctionnement des tests de coordinator