Goodbye to Paolo Pettinau, the “Professor” of swimming pools