Le travail collectif est un défi considérable pour les organisations de santé, en particulier les hôpitaux publics. La complexité des structures, la pluralité des mains qui agissent et la variabilité des pratiques médicales suggestionnent la pratique collaborative. Dans un tel contexte, il convient de se pencher sur les dimensions de la collaboration interprofessionnelle permettant l’unicité de l’activité médicale. Ce concept prend une importance particulière si l’on considère que la dispensation des services de santé appelle de plus en plus à un haut degré de coordination entre les différents professionnels. Ce travail de recherche analyse la concrétisation de la collaboration interprofessionnelle dans le cas d’un CHU moyennant une méthodologie qualitative. En se basant sur les travaux précurseurs de D’Amour (1997), cette présente thèse identifie les principales dimensions de la collaboration interprofessionnelle ainsi que leur lien d’'interdépendance. / As the delivery of healthcare evolves to become more interconnected, coordinating care between nurses, pharmacists, physicians, social workers and other disciplines has become increasingly important. In its simplest form, inter professional collaboration is the practice of approaching patient care from a team-based perspective. Improved health care collaboration has been cited as a key strategy for health care reform. Collaboration in health care has been shown to improve patient outcomes. In a such area it’s interesting to examine the interprofessional collaborations’ dimensions. This work aims to highlight the construction of interprofessional collaboration using a qualitative research design based on the model of D’Amour (1997).

Très peu d'études ont analysé comment le travail intellectuel affecte notre incorporation (embodiment). Mon cas, une intervention de danse dans une banque faisant participer les salariés, est une occasion inédite d'étudier les corps en action. Lors de leur travail avec les artistes, les salariés se tenaient sur un seuil, hésitant entre une attitude professionnelle ou plus personnelle. Des observations, des entretiens sur le corps et une analyse de leurs gestes s'appuyant sur des données visuelles (photographies, vidéo) donnent une description complète de leur incorporation dans cette situation de non-routine. Les corps restent souvent dans la retenue, la fermeture et la distance, mais certains d'entre eux s'ouvrent au jeu, proposant parfois des gestes rares, voire risqués. Mes résultats suggèrent que les frontières du corps sont plus instables qu'on ne le croit, l'expérimentation artistique étant un moyen de comprendre "ce que peut un corps" au travail. Le jeu corporel (embodied play) n'est pas seulement une expérience individuelle ; il est aussi un moyen de critiquer les normes corporelles existant au sein d'une organisation. Certaines manières de s'incarner proposent ainsi une sortie hors de l'organisation, ce qui se matérialise par une non-organisation du corps. / As only very few studies have investigated how intellectual (and hence mainly digital) work affects our embodiment, my case, a dance intervention in a bank involving employees, was a good way to study bodies in action. During their work with the artist, employees were standing on the boundary between work and leisure, hesitating between professional and personal embodiment. Observations, interviews and an analysis of their gestures relying on various visual data give a complete description of their embodiment process in this specific moment. On the one hand, bodies remain very constrained, distant and closed, but on the other hand, some employees open up to play, displaying rare and sometimes risky gestures. My findings suggest that the body’s boundaries are much more unstable than we think and that artistic experimentation is one way to understand what a body can do at work. Embodied play is not only an individual experience; it also has the potential to criticize dominating bodily norms existing in an organisation. Alternative embodiments thus propose a way out of organisation.

Prenant appui sur une méthodologie d'enquête, de conceptualisation et de développement itérative - la Théorie Ancrée - notre recherche sur l'instrumentation informatique des annotations et des pratiques d'écriture professionnelles nous a permis de développer des concepts, un modèle et un prototype informatique originaux pour le support de l'organisation des soins en cancérologie. Pour mener à bien ce travail itératif de modélisation, nous nous sommes inspirés des pratiques d'écriture des soignants que nous avons observées durant plusieurs années dans un hôpital en cancérologie. Cette étude qualitative a été complétée par un état de l'art pluridisciplinaire. Ce travail d'articulation entre différents domaines scientifiques, enquête et confrontation aux acteurs du terrain nous a permis de développer les concepts de pratique annotative et d'écriture heuristique considérés comme constitutifs du travail d'organisation des soins. Ces pratiques permettent aux soignants d'appréhender leurs environnements de travail complexes, et de gérer efficacement les dynamiques et les variétés de situations et de prise en charge des patients. La caractérisation de ces pratiques nous a permis de développer un modèle informatique simple, robuste et ouvert, mais surtout ancré dans le terrain de recherche et dans les pratiques soignantes. Ce prototype grâce notamment aux contextes d'affichage diversifiés des réseaux d'annotation qu'il autorise, grâce à sa flexibilité et son évolutivité, permet effectivement d'adresser la question du support du travail collectif d'organisation des soins en cancérologie, autant qu'il est prometteur pour d'autres contextes d'exploitation. / Our research about computerized equipment of annotations and professional writing practices has articulated Computer Sciences and Communication and Information Sciences in order for us to develop a software prototype for the support of organisation of care in oncology thanks to an empirical and longitudinal study. This articulation has relied on 4 years long of multimodal ethnography, a conceptualization based upon Grounded Theory rules, a model and a software development that we iteratively conduct simultaneously with this qualitative inquiry. This original combination of methodologies from different domains has been remarkably rich to help us build a specific point of view about oncology hospital organizations, and about the accomplishment of care work and about patients' management in these complex professional organizations. The modern medical and hospital rationalizations, including ICT and e-health tools, are in the confluence of various movements that impact upon several elements of hospital organizations, and upon medical and care practices. We focused our study on the situated writing practices of caregivers and specifically on the richness of the materiality of writings that led us to question notions such as information systems, collective and distributed production of knowledge, and the documentary production cycles for the organization of activity. We are making the hypothesis that annotations can be opportunely considered as constitutive elements in the production of "organizational texts" that are in the core of the support of the organization and the realization of collective and individual work. Caregivers rely on these "organizational texts" that they build, actualize and stabilize thanks to what we call the "annotative practice" that enables them to apprehend their complex environments of work, and to handle the dynamics and the variety of situations and to manage patients. We will show how the characterization of this "annotative practice" helped us to develop a simple, robust and open software model. We will detail the iterative process between inquiry, analysis, conceptualizations and developments that led us to stabilize our model and our web prototype that implement this annotative practice. We will conclude our work by showing that this prototype, thanks to the numerous context displays of annotations networks, thanks to its flexibility and evolutivity achieves the support of the collective organization of patients' care in oncology, as much as it seems to be relevant in other exploitation context of collective organization of work.

Dans un premier temps, ce travail décrit la méthodologie de synthèse vers de nouveaux coilants bipyridines-bis-α-cyclodextrines comportant deux ou trois unités bipyridines pour la réalisation de systèmes coordinants tétra- ou octaédriques singuliers. La réactivité des différentes étapes a été étudiée et des molécules clés de la synthèse totale des ces systèmes ont été synthétisées grâce à des réactifs ou réactions issus du laboratoire. Dans un deuxième temps, la synthèse d'un nouveau podant tris-bipyridines-α-cyclodextrine a également été réalisée et ses propriétés de complexation avec les cations de transition ont été étudiées par spectroscopie UV-visible et dichroïsme circulaire. La géométrie hélicoïdale fortement chirale a également été résolue dans le cas de certains complexes de ce podant avec des métaux de transition de dureté intermédiaire / Firstly, this work describes the synthesis methodology toward new bipyridines-bis-α-cyclodextrins coilants with two or three bipyridine units for the achievement of tetra- or octahedral coordinant systems. The reactivity has been studied and key molecules have been synthesisedthanks to our laboratory's methodologies. Sedondly, the synthesis of a new tris-bipyridines-α-cyclodextrin podand has also been performed and its complexation properties with transition cations have been studied by UV-visible spectroscopy and circular dichroism. The highly chiral helix geometry has also been resolved in the case of some metal podendates with borderline transition metals

L'évolution de l'informatique haute performance s'est réorientée au cours de cette dernière décennie. L'importante consommation énergétique des plates-formes modernes limite fortement la miniaturisation et l'augmentation des fréquences des processeurs. Cette contrainte énergétique a poussé les fabricants de matériels à développer de nombreuses architectures alternatives afin de répondre au besoin croissant de performance imposé par la communauté scientifique. Cependant, programmer efficacement sur une telle diversité de plate-formes et exploiter l'intégralité des ressources qu'elles offrent s'avère d'une grande difficulté. La tendance générale de conception d'application haute performance, basée sur un gros code monolithique offrant de nombreuses opportunités d'optimisation, est ainsi devenu de plus en plus difficile à appliquer en raison de la difficulté d'implémentation et de maintenance de ces codes complexes. Par conséquent, les développeurs de telles applications considèrent maintenant une approche plus modulaire et une exécution dynamique de celles-ci. Une approche populaire est d'implémenter ces applications à plus haut niveau, indépendamment de l'architecture matérielle, suivant un graphe de tâches où chacune d'entre elles correspond à un noyau de calcul soigneusement optimisé pour chaque architecture. Un système de runtime peut ensuite être utilisé pour ordonnancer dynamiquement ces tâches sur les ressources de calcul.Développer ces solutions et assurer leur bonne performance sur un large spectre de configurations reste un défit majeur. En raison de la grande complexité du matériel, de la variabilité des temps d'exécution des calculs et de la dynamicité d'ordonnancement des tâches, l'exécution des applications n'est pas déterministe et l'évaluation de la performance de ces systèmes est très difficile. Par conséquent, il y a un besoin de méthodes systématiques et reproductibles pour la conduite de recherche ainsi que de techniques d'évaluation de performance fiables pour étudier ces systèmes complexes.Dans cette thèse, nous montrons qu'il est possible de mettre en place une étude propre, cohérente et reproductible, par simulation, d'applications dynamiques. Nous proposons une méthode de travail unique basée sur deux outils connus, Git et Org-mode, pour la conduite de recherche expérimentale reproductible. Cette méthode simple permet une résolution pragmatique de problèmes comme le suivi de la provenance ou la réplication de l'analyse des données. Notre contribution à l'évaluation de performance des applications dynamiques consiste au design et à la validation de simulation/émulation hybride gros-grain de StarPU, un runtime dynamique basé sur un graphe de tâches pour architecture hybride, au dessus de SimGrid, un simulateur polyvalent pour systèmes distribués. Nous présentons comment notre solution permet l'obtention de prédictions fiables de performances d'exécutions réelles dans un large panel de machines hétérogènes sur deux classes de programme différentes, des applications d'algèbre linéaire dense et creuse, qui sont représentatives des applications scientifiques. / The evolution of High-Performance Computing systems has taken asharp turn in the last decade. Due to the enormous energyconsumption of modern platforms, miniaturization and frequencyscaling of processors have reached a limit. The energy constraintshas forced hardware manufacturers to develop alternative computerarchitecture solutions in order to manage answering the ever-growingneed of performance imposed by the scientists and thesociety. However, efficiently programming such diversity ofplatforms and fully exploiting the potentials of the numerousdifferent resources they offer is extremely challenging. Thepreviously dominant trend for designing high performanceapplications, which was based on large monolithic codes offeringmany optimization opportunities, has thus become more and moredifficult to apply since implementing and maintaining such complexcodes is very difficult. Therefore, application developersincreasingly consider modular approaches and dynamic applicationexecutions. A popular approach is to implement the application at ahigh level independently of the hardware architecture as DirectedAcyclic Graphs of tasks, each task corresponding to carefullyoptimized computation kernels for each architecture. A runtimesystem can then be used to dynamically schedule those tasks on thedifferent computing resources.Developing such solutions and ensuring their good performance on awide range of setups is however very challenging. Due to the highcomplexity of the hardware, to the duration variability of theoperations performed on a machine and to the dynamic scheduling ofthe tasks, the application executions are non-deterministic and theperformance evaluation of such systems is extremelydifficult. Therefore, there is a definite need for systematic andreproducible methods for conducting such research as well asreliable performance evaluation techniques for studying thesecomplex systems.In this thesis, we show that it is possible to perform a clean,coherent, reproducible study, using simulation, of dynamic HPCapplications. We propose a unique workflow based on two well-knownand widely-used tools, Git and Org-mode, for conducting areproducible experimental research. This simple workflow allows forpragmatically addressing issues such as provenance tracking and dataanalysis replication. Our contribution to the performance evaluationof dynamic HPC applications consists in the design and validation ofa coarse-grain hybrid simulation/emulation of StarPU, a dynamictask-based runtime for hybrid architectures, over SimGrid, aversatile simulator for distributed systems. We present how thistool can achieve faithful performance predictions of nativeexecutions on a wide range of heterogeneous machines and for twodifferent classes of programs, dense and sparse linear algebraapplications, that are a good representative of the real scientificapplications.

Submitted by Leonardo Cavalcante (leo.ocavalcante@gmail.com) on 2018-05-17T15:16:06Z No. of bitstreams: 1 Arquivototal.pdf: 2028137 bytes, checksum: a7f55e9e66b622b37a9db9a434b056fa (MD5) / Made available in DSpace on 2018-05-17T15:16:06Z (GMT). No. of bitstreams: 1 Arquivototal.pdf: 2028137 bytes, checksum: a7f55e9e66b622b37a9db9a434b056fa (MD5) Previous issue date: 2017-03-24 / Argamentamos ce processus dans l'économie solidaire appelé incubation est constitué en tant que méthodologie de l'éducation populaire pour diffuser les principes et les valeurs de Ecosol comme une alternative à l'économie de marché. En effet, les principes et les valeurs de l'économie solidaire sont complétées par les fondations des bâtiments de l'éducation populaire. En ce sens, l'incubation et le processus de formation priorise exclus, en les élisant postulantes pour changer protagonistes rôle dans la structure économique de l'organisation de la production collective, en prenant la balle horizontalisation dee décision d'action structurant nouveau mode de production , guidée par l'auto-gestion, changeant ainsi la matrice économique actuelle. Admis comme une remise en cause de l'hypothèse, l'incubation de la solidarité venture constitue une méthode d'éducation populaire? Sur la base des constituants de l'éducation populaire, la théorie qui sous-tendent la méthode d'incubation, de formuler une thèse que le processus de formation populaire d'incubation de solidarité de risque développée par l'incubateur d'entreprises de solidarité populaire - INCUBES / NUPLAR / UFPB, est une méthode d'éducation populaire . Nous utilisons la méthodologie de la recherche sociale critique, cherchant à appliquer la logique dialectique dans la reconnaissance et la spécificité du phénomène étudié, sa construction sociale, permettant acte clairement sur l'objet de l'étude. Nous concluons que l'éducation populaire est la théorie qui soutient les locaux de l'économie solidaire. Incubation opère au service des principes et des valeurs de l'économie solidaire, aproxmando économie solidaire à l'éducation populaire à travers des principes et des valeurs, confirmant ainsi la thèse selon laquelle la méthode d'incubation est une méthode d'éducation populaire, la l'articulation et de l'exercice dans la pratique des catégories constitutives de la théorie de l'éducation populaire: le dialogue et la médiation des relations sociales et les processus de formation; générer des incitations à la participation des compétences essentielles; l'autonomie comme une expression de la conscience critique, la base de l'autogestion. / Argumentamos que o processo em Economia Solidária denominado de incubação se constitui como metodologia da educação popular para difundir princípios e valores desta como alternativa à economia de mercado. Isso porque, tais fundamentos são complementados pelos da Educação Popular. Nesse sentido, a incubação como processo de formação prioriza os excluídos, elegendo-os como postulantes a função de protagonistas de mudanças na estrutura econômica, a partir da organização para a produção coletiva, tendo na horizontalização na esfera dee decisão ação estruturante de novo modo de produção, pautado pela autogestão, alterando assim, a atual matriz econômica. Admitimos como hipótese o seguinte questionamento: a incubação de empreendimento solidário se constitui uma metodologia da Educação Popular? Com base nos constituintes da Educação Popular, teoria que fundamenta a metodologia de incubação, formulamos como tese que o processo de formação deincubação de empreendimento solidário popular desenvolvido pela Incubadora de Empreendimentos Solidários Popular – INCUBES/NUPLAR/UFPB, constitui uma metodologia da Educação Popular.Utilizamos como metodologia a pesquisa social crítica, buscando aplicar a lógica dialética no reconhecimento e especificidade do fenômeno estudado, sua construção social, possibilitando agir com clareza sobre o objeto de estudo. Concluímos que a Educação Popular é a Teoria que sustenta as premissas da Economia Solidária. A incubação, opera a veiculação dos princípios e valores da economia solidária, aproxmando a economia solidária com a educação popular, através de principios e valores comuns, confirmando assim, a tese de que a metodologia de incubação se constitui uma metodologia da Educação Popular, a partir da articulação e exercício na prática de categorias constituintes da teoria da educação popular: diálogo como mediação das relações sociais e de processos de formação; participação geradora de estímulos à capacidade crítica; autonomia como expressão da consciência crítica, base para a autogestão. .

Cette thèse présente des travaux de méthodologie de synthèse et des études mécanistiques. Une approche complémentaire est utilisée, avec des résultats expérimentaux et des résultats théoriques issus de calculs DFT. Trois réactions ont été étudiées. La première réaction est l’alpha-arylation de cétones énolisables en l’absence de métal de transition. Elle se déroule en présence de DMF et de tBuOK. L’étude mécanistique met en évidence la formation d’une espèce riche en électrons par déprotonation du solvant. La deuxième réaction étudiée est la N-arylation de pyrazoles via la formation d’aryldiazoniums in situ. Cette réaction est catalysée au cuivre. Une évaluation de la méthode DFT la plus adaptée est présentée. Un double cycle catalytique est proposé, faisant intervenir le complexe de cuivre et l’acide acétique. La dernière réaction étudiée est la formation stéréoselective d’alkényl thioethers fluorés trisubstitués par catalyse au cuivre. La méthodologie de synthèse est présentée, suivie d’une étude mécanistique. Celle-ci révèle un mécanisme radicalaire qui peut être généralisé à d’autres substrats. / In this thesis, synthetic methodology development and mechanistic studies are presented. A complementary approach, using both experiments and theoretical outcomes from DFT, is used. Three reactions were studied. The first reaction is the transition-metal free alpha-arylation of enolizable ketones. It proceeds using DMF and tBuOK. The mechanistic study reveals the formation of an electron-rich species by deprotonation of the solvent. The second reaction studied is the copper-catalyzed N-arylation of pyrazoles with arenediazonium salts generated in situ. A benchmark is performed to evaluate the best DFT methodology. A double catalytic cycle is proposed, involving copper and acetic acid. The last reaction studied is the copper-catalyzed stereoselective access to trisubstituted fluorinated alkenyl thioethers. The development of the methodology is presented. Then a mechanistic study reveals a radical mechanism that can be generalized to other substrates.

Les activités interactives en ligne connaissent une utilisation grandissante, notamment dans le domaine de l’enseignement des langues. L’amélioration technique des dispositifs permet en effet aujourd’hui des échanges synchrones à distance avec un locuteur natif.Le tuteur inscrit dans une communication via une plateforme synchrone en ligne doit alors coordonner un ensemble complexe d'opérations à des fins d’apprentissage. Différents modes de communication (textuel, visuel, auditif) sont à sa disposition et il les combine dans son discours. Nous analysons, dans le cadre de cours de français à distance via Skype, quels modes sont utilisés par chacun des quatre tuteurs qui composent notre étude. Nous postulons que les modes sont utilisés différemment par chaque tuteur et nous cherchons donc à savoir dans quelle proportion et avec quel « degré d’investissement » (Develotte, Guichon, Vincent, 2011). Nous cherchons également à comprendre quelles conséquences ces choix d’utilisations des modes ont sur la nature de l’interaction. Nous émettons en effet deux hypothèses. Premièrement, nous pensons que le profil initial des tuteurs (compétences individuelles, expériences professionnelles en présentiel ou à distance, habitude de l’environnement informatique) et le contexte des interactions (perturbations extérieures, problèmes techniques, type de tâche, besoin exprimé des apprenants) ont une influence sur la façon dont le tuteur utilise les modes à disposition.Deuxièmement, nous pensons que les choix d’utilisations influencent la nature de l’interaction et la relation entre tuteurs et apprenants. Nous proposons ainsi une grille d’analyse des interactions multimodales en ligne, afin d’apporter des réponses à nos hypothèses de recherche. / Online interactive activities are increasingly used, notably in the field of language teaching. The technical improvements enable synchronous long distance exchanges with a native speaker. The tutor engaged in a communication via a synchronous online platform must coordinate a complex set of operations for learning purposes. He can combine the different communication modes which are at his disposal (textual, visual and aural). We analyze, in the case of French lessons via Skype, which modes are used by each of the four tutors in our study. We postulate that the modes are differently used by each tutor and we seek to know in what proportion and with which “degree of utilization” (Develotte, Guichon, Vincent, 2011). We also try to understand what consequences the choice of the method has on the nature of the interaction. We present two hypotheses. First, we think that the initial profile of the tutors (individual skills, professional experience with face to face or distance teaching, comfort with the computer environment) and the context of the interactions (exterior perturbations, technical problems, type of task, needs expressed by the learners) have an influence on the way the tutor uses the modes. Secondly, we think that the choices influence the nature of the interaction and the relation between tutors and learners. We propose a grid of analysis of the multimodal online interactions in order to sustain our research hypotheses.

Dans le développement des technologies microélectroniques, l’analyse de défaillance permet par l’étude des mécanismes de défaillance potentiels de définir des solutions correctives. La mise en œuvre des techniques de localisation et d’observation des défauts requiert une méthodologie, dont l’étape clé est la préparation d’échantillons. Celle-ci doit continuellement évoluer pour s’adapter aux innovations technologiques qui introduisent de nouveaux matériaux, et augmentent la complexité des composants assemblés. Cette thèse s’est intéressée à la méthodologie de préparation d’échantillons pour l’analyse de défaillance de deux familles de produits : les produits discrets et IPAD, et les micro-batteries. Pour les produits discrets et IPAD, une optimisation de la méthodologie existante a été réalisée en intégrant de nouvelles approches, développées pour résoudre des cas jusqu’alors en échec. Pour les micro-batteries, les matériaux utilisés et leur architecture ont nécessité une remise en question complète de la méthodologie de préparation d’échantillon. / In the development of microelectronic technologies, the failure analysis makes it possible to define corrective actions thanks to the understanding of the failure mechanism. In order to define the most adequate localization and observation techniques to use, a failure analysis flow is required. The sample preparation is a key step of this flow. This flow must continuously evolve to take into account the technological innovations that introduce new materials, and increase the complexity of assembled components. This work concerned the sample preparation flow for the failure analysis of two product families : the discrete products and IPAD, and the micro-batteries. Concerning the discrete products and the IPAD, an optimization of the current flow was performed with the integration of new approaches developed to solve failed cases. For the micro-batteries, the used materials and their architecture required an entire reappraisal of the sample preparation flow.

Les technologies omniprésentes dans notre environnement intègrent désormais des éléments logiciels facilitant leur utilisation. Ces technologies offrent un vaste laboratoire d’expérimentation pour la recherche et en particulier pour l’informatique appliquée. Ces technologies sont un support évident pour rendre des services aux personnes dans leur vie quotidienne. Ces services concernent divers champs d’applications, chacun servant des objectifs spécifiques : confort,sécurité, accès à l’information ou encore assistance à la personne. Puisque les applications offrant ces services sont intimement liées aux besoins des utilisateurs, il est indispensable qu’elles s’adaptent facilement à leurs besoins. Une manière de répondre à ce défi est de proposer à l’utilisateur des outils pour programmer lui-même ses applications.Notre contribution consiste non seulement à définir un tel outil, sous la forme d’un langage visuel paramétré par un champ d’applications, mais aussi à proposer une méthodologie dont l’objectif est de guider un utilisateur dans la programmation d’applications à l’aide de ce langage. Cette méthodologie est dédiée à l’orchestration d’entités communicantes : elles représentent les technologies déployées dans nos environnements. Notre approche, associant une méthodologie à un langage, est accessible à un programmeur novice et suffisamment expressive pour traiter divers champs d’applications. Afin d’augmenter la confiance de l’utilisateur dans le développement de ses applications, nous étendons la méthodologie en proposant une approche de développement dirigée par la vérification de quelques propriétés. Cette vérification est permise par la sémantique du langage, formellement définie. / Networked technologies, omnipresent in our surroundings, have increasingly more computing power, offering interfaces to easily access their functionalities. These technologies offer a widetesting ground for research, especially in applied computer science. They form an evident assistive support to help people in their daily activities. Applications that address people needs arefound in various application areas, each related to specific goals : comfort, security, information management, or assisted-living.The goal of this thesis is to propose an approach that bridges the gap between a user requirements and the applications that satisfy them. To do so, we define Pantagruel, an expressive and accessible visual language that is parameterized by an application area. To further reconcile accessibility with expressiveness, we provide the user with a domain-specific methodology toguide the development of applications. This methodology draws a bridge between the user needs and the applications, and is strongly coupled with the language concepts. In doing so, satisfying the requirements and evolving the applications according to new requirements is facilitated. To increase the user confidence in using Pantagruel language, and because the applications aimat being seamlessly integrated in his everyday life, Pantagruel programs need to be reliable.To this end, we extend our methodology with a programming approach driven by properties.These properties can be verified using the language semantics, which is formally defined.