Commit 44313c0a7e1bd9021b70822a3711f5d0687ebf54

Patrick Monnerat 2013-12-12T14:59:18

Shortening lines in headers no change of semantic