Halma acquiert la société italienne de sécurité Safetec pour 72,5 millions €