dim., 24 juil. 2016 17:39:30 +0200 Patrick PIERRE \rm -> \textrm
dim., 24 juil. 2016 16:46:25 +0200 Patrick PIERRE whitespace-cleanup