Translated in french 00_hello_world.lhs