"Ma question est donc de savoir si le PGCD de tous les éléments de L est le minimum de la liste M."
non. par exemple avec [10,70,7] ton code fait
m = [pgcd(10,70), pgcd(70,7)] -> [10,7]
min(m) retourne 7 hors 10 n'est pas divisible par 7.
si tu réfléchis bien, tu verras que tu n'as pas besoin d'une deuxième liste. au pire, essaie de le faire sans boucle mais avec une fonction récursive.