Évaluation paresseuse des filtrages avec priorité, application au langage ML — Alain Laville