Définitionsprolongement trachélien