cleaning, and stable version
-- Git-author: Jocelyn Fiat <github@...> -- Git-id: 81657f32f71601519ef90b9c52e6abffed02da27
Authored by: jocelyn_fiat 1970-01-01
Parent: [r7]
Child: [r9]
