Ajouté par Patrick Baillot il y a plus de 8 ans
proof of minimisation lemma, in appendic completeness
Voir les différences