Abstraction avec des lignes grises IV