https://mathexample.com/fr/fai_gen/logics/variant_201314300