Organisation des calculs et écriture formelle — G Behague, C Calonne, Xavier Coine, A Comelli