Palinurus mauritanicus (Gruvel, 1911)