Wychuchol pirenejski, chochoł pirenejski, desman pirenejski (Galemys pyrenaicus) – gatunek ziemno-wodnego ssaka z rodziny kretowatych (Talpidae). Jest nocnym drapieżnikiem wodnym, zwinnie pływa, nory kopie na brzegu. Wydaje wysoki, furkoczący dźwięk. Wychuchole pirenejskie mogą żyć co najmniej 3,5 roku. Żywi się drobnymi bezkręgowcami (ślimakami, krewetkami). Samica rodzi do 3 miotów w roku, po 3-4 młode w miocie. Ciąża trwa około 30 dni.
Długość głowy i tułowia to 11–16 cm, ogona 12–16 cm. Masa ciała 35–80 g. Ma bardzo ruchliwy ryjek i małe oczy. Przednie łapy małe, tylne duże wyposażone w błonę pławną. Potrafi zamykać otwory nosowe i uszne przy pomocy fałdów skórnych, żeby nie wlewała się do nich woda podczas pływania i nurkowania. Dzięki temu posiadają również zdolność echolokacji. Strona grzbietowa pokryta błyszczącym, ciemnobrązowym futerkiem, strona brzuszna srebrzystoszara. Brak owłosienia na nosie i ogonie. Nos wyposażony we włosy czuciowe wykorzystywane do wyczuwania ofiar podczas grzebania w mule. Na dolnej stronie ogona gruczoły zapachowe.
Zasiedla potoki górskie i zbiorniki wody stojącej w Pirenejach oraz północnych rejonach Hiszpanii i Portugalii, na wysokościach od 300 do 2700 m n.p.m. Występuje na obszarach, na których roczna suma opadów wynosi więcej niż 1000 mm, w związku z czym postępujące zmiany klimatu mogę doprowadzić do jego wymarcia. Siedliska tego gatunku są obecnie zagrożone przez budowę elektrowni wodnych. Introdukcja norki amerykańskiej oraz wydry europejskiej wpłynęła negatywnie na liczebność populacji z uwagi na to, że wychuchol wchodzi w skład ich diety.