Compilation de documents mathématiques