Une double hiérarchie infinie de langages vérifiables François Rodriguez — 1975 RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications