Describir: RAIRO - Theoretical Informatics and Applications