Les systemes d'edition de documents fondes sur la description logique<br />des composants des documents s'appuient sur les grammaires hors<br />contexte. Ces grammaires assez riches permettent la description des<br />classes de documents (schemas de structure), de leurs composants, des<br />relations hierarchiques et de voisinage que ces derniers entretiennent<br />les uns avec les autres, et d'informations d'ordre semantique<br />associees aux composants sous forme d'attributs. La verification<br />rigoureuse de la compatibilite de types, benefique par ailleurs,<br />induit aussi des inconvenients dont les principaux sont le rejet des<br />couper-coller, l'impossibilite d'editer les documents dont les<br />schemas de structure ont evolue, l'impossibilite de realiser des<br />restructurations en cours d'edition.<br /><br />Le but de cette these est d'etudier l'evolution des types, de<br />proposer des solutions a ces problemes et de les mettre en oeuvre dans<br />le systeme Grif.<br /><br />La these presente, dans une premiere partie, un etat de l'art et les<br />problemes de restructuration dans les systemes d'edition de documents<br />structures (SEDS) en general, notamment l'editeur Grif qui sert de<br />cadre a` cette etude.<br /><br />La deuxieme partie presente une typologie de l'evolution des<br />structures et des attributs et un modele conceptuel de conversion<br />automatique des instances de documents concernees par l'evolution<br />statique de structures. <br /><br />La troisieme partie de cette these presente en trois points un<br />formalisme des types pour les SEDS :<br /><br />1. Un modele mathematique de types dans les SEDS, fonde sur la<br />representation fonctionnelle des caracteristiques structurales des<br />types, qui permet d'exprimer avec rigueur les evolutions possibles de<br />structure.<br /><br />2. Un ensemble de definitions des relations structurales entre types<br />(facteur, sous-typage, massif, compatibilite, equivalence), utiles<br />dans les transformations statiques et dynamiques.<br /><br />3. Une approche grammaticale pour les transformations dynamiques : un<br />schema de structure peut etre transforme en une grammaire<br />algebrique, un document pouvant etre interprete comme un mot du<br />langage issu de cette grammaire. Le langage retenu par la presente<br />these est construit sur un alphabet terminal compose de l'ensemble des<br />types de base du systeme, de l'ensemble des identificateurs des<br />schemas de structure du systeme et de l'ensemble des symboles<br />exprimant la structure des types.