Quelle est le double de 2 puissance 5