Hiérarchie orientée de règles généralisées en analyse implicative.