[Doc] Update list of userman contributors

doc/developer/developer.tex

@@ -101,8 +101,8 @@ described here may still evolve in the future.
 %\addcontentsline{toc}{chapter}{Acknowledgements}
 
 We gratefully thank all the people who contributed to this document: Gergö
-Barany, Patrick
-Baudin, Richard Bonichon, Pascal Cuoq, Zaynah Dargaye, Florent Garnier,
+Barany, Patrick Baudin, Richard Bonichon, Pascal Cuoq, Zaynah Dargaye, Basile 
+Desloges,  Florent Garnier,
 Pierre-Loïc Garoche, Philippe Herrmann, Boris Hollas, Nikolaï Kosmatov,
 Jean-Christophe Léchenet, André Maroneze, Benjamin Monate, Yannick Moy,
 Anne Pacalet, Armand Puccetti, Muriel Roger and Boris