mardi 14 mai 2013, 20:35:32 (UTC+0200): optimizations + doc