Compilation de pipes profondes et de bâillonnements