Deep geology of the Pyrenees