La résolution de 4-4x7+3 ?