Wychuchol pirenejski, chochoł pirenejski, desman pirenejski (Galemys pyrenaicus) – gatunek ziemnowodnego ssaka z rodziny kretowatych (Talpidae). Występuje na Półwyspie Iberyjskim i w Pirenejach. Jest zagrożony wyginięciem.
Systematyka Takson po raz pierwszy opisany przez É. Geoffroy Saint-Hilaire'a w 1811 roku pod nazwą Mygale pyrenaica. Jako miejsce typowe autor wskazał góry w pobliżu Tarbes (Pireneje Wysokie) we Francji. Jedyny przedstawiciel rodzaju wychuchol (Galemys) utworzonego przez J.J. Kaupa w 1829 roku. W obrębie gatunku wyodrębniane są dwa podgatunki: Galemys pyrenaicus pyrenaicus E. Geoffroy St. Hilaire, 1811, Galemys pyrenaicus rufulus Graells, 1897.
Nazewnictwo Nazwa rodzajowa jest połączeniem słów z języka greckiego: gale – „łasica” oraz mys – „mysz”. Epitet gatunkowy pochodzi od łacińskiego słowa Pyrenaicus – „pirenejski, z Pirenejów”.
Kariotyp Kariotyp wychuchola pirenejskiego tworzy 21 par (2n=42) chromosomów (FN = 68).