Le double d' un nombre s' obtient en multipliant ce nombre par deux.