double (N) — doubler (V)
doubler : Rendre double ; mettre le double, augmenter d'une fois autant, multiplier par deux.