lun., 25 juil. 2016 23:35:12 +0200 Patrick PIERRE Adresse et date
dim., 24 juil. 2016 17:39:30 +0200 Patrick PIERRE \rm -> \textrm
dim., 24 juil. 2016 16:46:25 +0200 Patrick PIERRE whitespace-cleanup