mines pour porte.mines