Le double d'un nombre