Thèses du Laboratoire d'analyse et d'architecture des systèmes