dim., 24 juil. 2016 17:39:30 +0200 Patrick PIERRE \rm -> \textrm
dim., 24 juil. 2016 16:46:25 +0200 Patrick PIERRE whitespace-cleanup
dim., 24 juil. 2016 10:18:49 +0200 Patrick PIERRE EAN ePub et papier