c'est quoi le double de -3​