2. On n’a pas besoin du lemme de Zorn ici, puisque A est fini.