Corrigendum Joffroy Beauquier RAIRO. Inform. théor., 13 2 (1979) 195 Published online: 01 February 2017 DOI: 10.1051/ita/1979130201951