Le double de la somme de 3 et de 5.