le double de la somme de 4et de 5