CARTOSOUND® module of the CARTO® 3 EP navigation system, catalog number C3SOUND, combined with SOUNDSTAR® 8F and 10F ultrasound catheters, with catalog number 10439236, 10439072, 10439011 and 10438577