un utilitaire pour mettre les corriges dans du latex, et un debut d'instrumentation des corrections pour baliser ça