lun., 25 juil. 2016 23:35:12 +0200Adresse et date
Patrick PIERRE [lun., 25 juil. 2016 23:35:12 +0200] rev 432
Adresse et date

dim., 24 juil. 2016 17:39:30 +0200\rm -> \textrm
Patrick PIERRE [dim., 24 juil. 2016 17:39:30 +0200] rev 431
\rm -> \textrm

dim., 24 juil. 2016 16:46:25 +0200whitespace-cleanup
Patrick PIERRE [dim., 24 juil. 2016 16:46:25 +0200] rev 430
whitespace-cleanup