le plus grand denominateur commun de 6252 et 4290