Combien vaut √3 × √12 ?