En 1886, c’est à la danseuse que Mallarmé confie le soin de lui révéler son propre « poétique instinct ». C’est donc à travers l’élucidation de cette expression énigmatique que nous aborderons le lien entre poésie et danse, en France, de Mallarmé à aujourd’hui. Toute notre recherche consistera à comprendre ce qui dans la danse relève d’un instinct poétique et renvoie le poète à son propre instinct créatif. Mallarmé et Valéry nous permettront d’abord d’étudier la façon dont la danse est passée de simple motif poétique à véritable moteur poïétique au tournant des XIXe et XXe siècles. La danse, considérée comme « écriture corporelle », renverra ces deux poètes à la dimension corporelle de leur acte d’écriture. Nous verrons ensuite que, délivrée du livret de ballet, la danse elle-même se conçoit comme étant sa propre écriture, à partir de la fin du XIXe siècle. Tracé sans traces, elle est écriture du pur poïein que nous nommerons donc écriture poïegraphique. Nous dépasserons ainsi le clivage entre danse « classique » et « contemporaine », à travers la notion de « danse- contempoïein », en nous appuyant notamment sur la théorie des Barres flexibles de Wilfride Piollet. Enfin, le « poétique instinct » sera exploré à travers une convergence entre danse et « renouveau lyrique ». Après avoir étudié les livrets de ballet de René Char, nous questionnerons la présence explicite de la danse, au tournant des XXe et XXIe siècles, chez Pascal Quignard, Jean-Michel Maulpoix et André Velter. Nous envisagerons au même moment, du côté de la danse, l’émergence d’un lyrisme chorégraphique. Nous verrons ainsi que, du symbolisme mallarméen au « renouveau lyrique », la danse en appelle au « poétique instinct » du poète en ce qu’elle le renvoie à l’acte d’écriture qui a précédé son poème écrit, à son geste de l’avant-poème. / In 1886, Mallarmé entrusted the dancer to reveal to him his own ''poétique instinct''. It will be trough this enigmatic phrase and its elucidation that we shall approach the existing link between poetry and dance in France, from Mallarmé to nowadays. All our focus in research will consist in understanding what in dance can be considered as poetic instinct and brings the poet to face his own creative instinct. First Mallarmé and Valéry will help us study how dance evolved from being a simple poetic pattern to a genuine poïetic engine during the 19th and 20th century. Dance, considered as ''écriture corporelle'', will bring these poets to see the corporal dimension of their act of writing. We shall see next that at the end of the 19th century, dance when it's freed from ballet, considers itself to be its own writing. Drawn without a trace dance is pure poïein writing and so we shall name it poïegraphic writing. We'll overrule the gap between ''classical'' and ''contemporary'' dancing with this concept of ''contempoeïn-dance'', by leaning on Wilfride Piollets theory of the ''Barres flexibles'' (''Flexible Bars''). Lastly, the ''poétique instinct'' will be explored trough the meeting of dance and ''lyrical renewal''. After studying René Chars ballet booklets we'll question the explicit presence of dance in Pascal Quignard, Jean-Michel Maulpoix and André Velters work during the 19th and 20th century. At the same time we'll consider the appearance of chorographical lyricism in dance. We will therefore see, through Mallarmés symbolism up to ''lyrical renewal'', that dance calls upon the poets ''poétique instinct'' and brings him back to the act of writing that came before the written poem, and so to the gesture of the prior-poem.

L'ingénierie orientée services est un nouveau paradigme pour développer des logiciels distribués et collaboratifs. Un tel logiciel se compose de plusieurs entités, appelés services, chacun d'entre eux étant par exemple une application Web, un service Web, ou même un humain. Les services peuvent être développés indépendamment et sont composés pour atteindre quelques exigences. Les chorégraphies de service définissent ces exigences avec une perspective globale, basée sur les interactions entre des participants qui sont implémentés en tant que services. Cette thèse vise à formaliser des problèmes et tente d'élaborer un environnement intégré avec lequel les chorégraphies de services peuvent être développés correctement pour les deux types d'approches de développement: l'approche descendante et l'approche ascendante. Elle consiste à analyser la relation entre une spécification de chorégraphie et une implémentation de la chorégraphie au niveau du modèle et aussi au niveau de l'implémentation réelle. Particulièrement, il s'agit de la composition/décomposition des services, la vérification, et le test de l'implémentation de chorégraphie. Le premier point-clé de notre environnement intégré est de représenter le passage de valeurs entre les services en utilisant la technique symbolique et un solveur SMT. Cette technique nous permet de réduire les faux négatifs et de contourner le problème d'explosion combinatoire de l'espace d'états, ces problèmes sont durs à l'abstraction et à l'énumération des valeurs pour les approches existantes basées données. Le second point-clé est le test passif boîte noire de l'implémentation de chorégraphie. Il ne nécessite pas d'accéder au code source, ni de rendre indisponible l'implémentation pendant le processus de test. Notre environnement intégré est mis en œuvre dans nos outils qui sont disponibles en téléchargement ou à utiliser en ligne à l’adresse http://schora.lri.fr. / Service-oriented engineering is an emerging software development paradigm for distributed collaborative applications. Such an application is made up of several entities abstracted as services, each of them being for example a Web application, a Web service, or even a human. The services can be developed independently and are composed to achieve common requirements through interactions among them. Service choreographies define such requirements from a global perspective, based on interactions among a set of participants. This thesis aims to formalize the problems and attempts to develop a framework by which service choreographies can be developed correctly for both top-down and bottom-up approaches. It consists in analyzing the relation between a choreography specification and a choreography implementation at both model level and real implementation level. Particularly, it concerns the composition/decomposition service design, the verification, and the testing of choreography implementation. The first key point of our framework is to support value-passing among services by using symbolic technique and SMT solver. It overcomes false negatives or state space explosion issues due by abstracting or limiting the data domain of value-passing in existing approaches. The second key point is the black-box passive testing of choreography implementation. It does not require neither to access to source codes nor to make the implementation unavailable during the testing process. Our framework is fully implemented in our toolchains, which can be downloaded or used online at address: http://schora.lri.fr.