%0 Journal Article %A Rodriguez, François %T Une double hiérarchie infinie de langages vérifiables %J RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications %D 1975 %P 5-19 %V 9 %N R1 %I Dunod-Gauthier-Villars %C Paris %U http://geodesic.mathdoc.fr/item/ITA_1975__9_1_5_0/ %G fr %F ITA_1975__9_1_5_0