Les piques de l'ami Randole

Au fait, le Pic de la Mirandole, c'est dans les Alpes ou dans les Pyrénées ?