IC 5134 NGC 7142, angelo mazzotti