Puerta de san Miguel, Lourdes