Il depuratore di Orroli intitolato a Ignazio Pinna, morto mentre andava al lavoro