Mentions légales du service
But: - problem with BuiltIn, Bool, Tuple, Unit and theory - work only with "why" and "whyml" files format