minor modif of a comment
Merge branch 'plos' of https://github.com/montanier/roborobo2 into plos

Little merge due to modification of a comment unplanned. Nevertheless new comment is more up to date