Fixed latex error in dev man

made Thomas disappear, sorry !
Merge pull request #1537 from OCamlPro/fix-dev-man-authors

Fixed latex error in dev man