Combien fait racine carré de 16 ?