Définitionspipeletter