C'est le plus petit commun multiple (PPCM), ça. Le "plus petit dénominateur commun" n'a aucun sens, c'est toujours 1.
Et l'algorithme est simple (et non-optimal): Si c'est un multiple commun à A et à B, ça doit forcément être un multiple de A. Donc on teste tous les multiples de A dans l'ordre jusqu'à ce que l'on en trouve un qui soit divisible par B, donc multiple de B. Le premier trouvé est alors le plus petit multiple commun à A et à B. Et la boucle s'arrête à un facteur B parce que A*B est forcément multiple commun de A et de B.
