1 ressource : règle de déduction