Validation des grammaires d'attributs. — Pierre Deransart