Le double de la somme
de six et trois.