Abstraction avec des lignes grises I