la somme de 5 et du double d'un nombre inconnu​