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