Mentions légales du service
We need to understand what went wrong in the encoding of stdlib/array.mlw for SMT-LIB after 68effd14.