Czerwony krasnoludek, Mont Saint-Michel