double d'un nombre