La valeur dont le double augmenté de 5 vaut son quadruple diminué de 7