le double de carré de 7​