La somme du double d'un nombre et de son triple est égal à 20