Existe-t-il un nombre entier dont le quart augmenté
de 7 est égal à son double diminué de 3?