Mentions légales du service
Also, do not build the bytecode of the why3 library when compiling in native code.