Fixed latex error in dev man

made Thomas disappear, sorry !