porte mine