Luigi Pintor (1925–2003)