Porcellio magnificus (Dollfus, 1892)