An isolated point in the Heinis spectrum Ramzi Turki RAIRO-Theor. Inf. Appl., 50 1 (2016) 21-38 Published online: 02 June 2016 DOI: 10.1051/ita/2016004