Chez le fraisier cultivé octoploïde, Fragaria x ananassa, la remontée florale et le stolonnage, deux caractères à fort intérêt agronomique, sont étroitement liés. La remontée florale, capacité à fleurir en continu, permet d’allonger la période de production. Le stolonnage, capacité à se reproduire végétativement par la production de stolons, permet l’obtention de plants en pépinière. L’objectif de cette thèse est de caractériser de façon physiologique et génétique la floraison à travers l’étude de la remontée florale et du stolonnage afin d’optimiser le potentiel de floraison chez le fraisier cultivé.Une caractérisation fine de la remontée florale a été réalisée à travers l’étude de l’émergence hebdomadaire ou bimensuelle des hampes et des stolons sur une saison entière de production. Une approche de clustering ont permis de mettre en évidence trois profils différents de remontée florale. Un QTL lié à ces profils et localisé sur le groupe d’homéologie III a été identifié.En parallèle, l’identification des QTL liés à la remontée florale a été réalisée en s’appuyant sur une population en ségrégation pour ce caractère. Les résultats ont mis en évidence la présence d’un QTL majeur, nommé FaPFRU, et localisé sur le LGIVb-F. Ce QTL contrôle de façon positive la remontée florale et de façon négative le stolonnage. Le développement de nouveaux marqueurs grâce à une stratégie de bin mapping associé à l’agrandissement de la population étudiée a permis d’enrichir et de réduire la région d’intérêt. Cette région couvre dix gènes candidats lorsqu’on se réfère à la séquence du génome du fraisier diploïde. Afin d’identifier le gène responsable de la remontée florale et son allèle ‘variant’, une banque BAC a été réalisée. L’étude de cette banque a permis de mettre en évidence de nombreux réarrangements entre les régions homéologues au sein de l’individu polyploïde et avec la région homologue du fraisier diploïde. Ce travail a permis de mettre en place des approches pour caractériser la remontée florale chez le fraisier cultivé, de développer des marqueurs liés à la remontée florale qui pourront être utilisés en sélection assistée par marqueurs ainsi que de nouveaux outils pour la cartographie fine de gènes chez une espèce polyploïde. / Fragaria x ananassa, the octoploid cultivated strawberry presented two important agronomical traits, the perpetual flowering trait and the runnering. The perpetual flowering trait, so called everbearing is the ability to flower more than once during the favorable season, therefore offering a lengthened period of fruit and seed production. The runnering is the asexual reproduction process of the plant. In this thesis we physiologically and genetically characterized the flowering by studying the perpetual flowering and the runnering traits. The finality would be the optimization of the flowering potential in the cultivated strawberry.Characterization of the perpetual flowering trait was performed by counting weekly new emerged inflorescences and twice a month, runners. A clustering approach allowed classifying the pattern of perpetual flowering into three groups. One QTL link to these patterns was identified on the homoeologous group III.QTL linked to perpetual flowering trait was conducted on a population segregating for the perpetual vs once flowering periods. Results showed that a major QTL named FaPFRU on the linkage group IVb of the female map controls antagonistically the perpetual flowering and the runnering traits. A fine mapping approach allowed adding markers specifically on the LGIVb and reducing the genomic region to ten candidate genes. In order to identify the gene and the allelic variant responsible of the perpetual flowering trait, we developed two octoploid BAC libraries. The analysis showed numerous rearrangements between homoeologous regions and with the homologous region of the reference diploid genome.This work allows us to develop approaches to study the perpetual flowering trait and markers linked to the perpetual flowering trait that can be used in marker assisted selection.

L'objectif de ce travail a consisté en l'évaluation des changements récents de distribution de la flore des milieux tempérés, jusqu'ici peu étudiée, afin de déterminer dans quelle mesure les espèces végétales sont capables de réagir face à un épisode rapide de réchauffement. Pour cela nous avons travaillé en zone de montagne et sous la limite altitudinale forestière, où l'étude de l'impact du réchauffement sur la distribution des espèces de la flore tempérée est facilitée par des conditions thermiques qui varient rapidement et de manière unidirectionnelle avec l'altitude. A partir de deux échelles spatiales (globale et régionale) et en utilisant trois référentiels d'études (espèce, population et communauté), nous avons analysé les changements de distribution vis-à-vis du réchauffement sous trois points de vue différents dans le but d'écarter les différents facteurs de confusion. A l'échelle globale, l'optimum altitudinal de 171 espèces est remonté en moyenne de 65 m entre 1971 et 1993 avec un déplacement plus important chez les herbacées à durée de vie courte. Chez les arbres à durée de vie longue, nous avons montré que l'altitude moyenne des présences, pour 13 essences sur les 17 étudiées, est plus élevée dans les populations au stade juvénile que dans les populations au stade adulte sur la période récente de réchauffement (1986-2006). A l'échelle régionale, la composition des communautés végétales est devenue plus thermophile et xérophile entre 1989 et 2007. Une analyse croisée de ces trois points de vue vis-à-vis des caractéristiques biologiques, écologiques et biogéographiques des espèces a confirmé l'importance du trait biologique lié au cycle de vie des espèces pour expliquer nos résultats. Dans l'ensemble ces résultats apportent de nouveaux éléments qui confirment une remontée significative des plantes en altitude, cohérente avec l'épisode de réchauffement récent et qui complètent, pour les milieux tempérés, les observations jusqu'ici emblématiques faites dans les écosystèmes alpins, subalpins, arctiques et boréaux.

Dans les centres hospitaliers, la remontée des patients en assistance totale (AT) vers la tête de leur lit (RPL-AT) représente l’une des tâches de manutention de patients (MP) les plus fréquemment effectuées dans les unités de soins intensifs et est l’une des tâches les plus à risque de blessures musculosquelettiques associées à la MP (MS-MP). Les préposés aux bénéficiaires (PB) sont les soignants qui dénombrent le plus de blessures MS-MP et ce sont eux qui effectuent la majorité des RPL-AT. L’alèze de glissement est l’outil le plus fréquemment utilisé pour réaliser les RPL-AT. Bien que le lève-personne semble avantageux, il est chronophage et il a été démontré que son utilisation ne diminue pas les risques de blessures MS-MP lorsqu’utilisé pour effectuer les RPL-AT. Selon la technique enseignée avec alèze de glissement, deux PB sont en mesure de réaliser les RPL-AT pour une majorité de la population. Toutefois, il est possible que ceci ne soit possible que par l’utilisation d’une stratégie de contrôle moteur (SCM) impliquant un mouvement corporel de recul impulsif. Une telle SCM, nommée impulsion excentrique, présente cependant des risques de blessures MS. L’objectif de ce projet doctoral était de démontrer que pour deux PB moyens, selon les conditions actuelles, il est impossible de réaliser la tâche de RPL auprès de 95% des patients en AT selon leur MC sans utiliser ce type de SCM. Pour ce faire, les courbes de forces de tire requises pour accomplir la tâche ont été établies en quantifiant, d’une part, la MC de la population des patients en AT et, d’autre part, le coefficient de frottement alèze-matelas pour différents matelas et charges. De ces informations, des modèles de prédiction de la force de tire requise pour réaliser des RPL-AT auprès de patients de 50 à 275 kg ont été établis. Des modèles statiques et dynamiques ont été élaborés afin d’évaluer la capacité de tire des PB moyens selon les SCM par contraction concentrique et par impulsion excentrique, respectivement. Les résultats démontrent que seulement 15% des patients en AT peuvent être remontés par deux PB à l’aide d’une SCM par contraction concentrique. Ce taux augmente à 95% s’ils ont recours à un mouvement corporel de recul impulsif dont la vitesse horizontale initiale est de 1,9 m/s. L’ajout d’une jambe en fente arrière et/ou d’un angle de tire n’a qu’un impact limité sur l’augmentation de la capacité de tire en début de traction. Il est donc impossible de réaliser les RPL-AT auprès de 95% de la population cible sans avoir recours à une SCM par impulsion excentrique.

La transition florale est un évènement clef dans la vie d’une plante. Chez le fraisier, la compréhension des mécanismes génétiques de cette transition est un enjeu majeur pour mieux contrôler la production de fruits. La transition florale peut être étudiée à travers la remontée florale, qui est la capacité d’une plante à fleurir tout au long de la période végétative. Le fraisier cultivé octoploïde, F. x ananassa, comme le fraisier diploïde, F. vesca, présentent des génotypes remontants capables de fleurir en continu. L’objectif de cette thèse est de comprendre le déterminisme génétique et moléculaire de la remontée florale chez Fragaria. Ce travail a montré que chez les fraisiers diploïde et octoploïde, le caractère ‘remontée florale’ est contrôlé par deux verrous génétiques différents localisés à des positions non orthologues. Chez le fraisier diploïde, le gène FvKSN responsable de la remontée florale a été identifié et code pour un homologue du répresseur floral TFL1. Chez les génotypes remontants, ce gène présente une délétion dans la partie codante conduisant à une protéine non fonctionnelle, incapable de réprimer la floraison. Chez le fraisier octoploïde, le QTL majeur détecté contrôlant la remontée florale est lié à la production de stolons de manière antagoniste, suggérant l’existence d’une région génomique où s'exerce une compétition entre multiplication végétative et la reproduction sexuée. Cette région génomique comprend plusieurs gènes candidats intéressants dont FT, activateur de la floraison.Une hypothèse suggérée par ce travail est que chez le fraisier, l’alternance entre phase végétative et phase reproductive est liée à l’équilibre entre les gènes FvKSN, homologue de TFL1, et FvFT, homologue de FT. La remontée florale serait la conséquence d’une modification de cet équilibre entre ces deux gènes en faveur du développement reproductif. / The floral transition is a key event in plant life. In strawberry, understanding the genetic mechanisms of floral transition is a major issue for better control of fruit production. This transition is studied through the continuous flowering, which is the ability to flower throughout the growing season. Both, the octoploid cultivated strawberry, F. x ananassa, as the woody diploid strawberry, F. vesca, displayed continuous flowering genotypes. The objective of this work is to decipher the genetic and molecular mechanism of the continuous flowering in Fragaria.This work has shown that in diploid and octoploid strawberry the continuous flowering is controlled by two different genetic 'keys' located at non-orthologous position. In diploid strawberry, the gene FvKSN responsible of continuous flowering was identified and encodes a homologous to the TFL1 floral repressor. In the continuous flowering genotypes, this gene has a deletion in the coding region leading to a nonfunctional protein unable to repress flowering. In the octoploid strawberry, the major QTL controlling both the recurrent flowering and the runner production was identified. These traits were antagonist, which suggests competition between vegetative propagation and sexual reproduction in this region. This genomic region contains several interesting candidate genes whose FT, an activator of flowering.A hypothesis could be proposed. In strawberry, the switch between vegetative and reproductive phase is linked to balance between two genes, FvKSN, homologous to TFL1 and FvFT homologous to FT. Continuous flowering would be the consequence of balance modification between this two genes to the benefit of floral development.

Cette thèse est en majeure partie dédiée au calcul rapide de remontée p-adique par des algorithmes détendus. Dans une première partie, nous présentons le cadre général des algorithmes détendus et de leur application au calcul de p-adiques récursifs. Pour appliquer ce cadre à la remontée p-adique de divers systèmes d'équations, il reste à transformer ces équations implicites en équations récursives. Ainsi, la seconde partie traite des systèmes d'équations linéaires, éventuellement différentiels. La remontée de résolutions de systèmes polynomiaux se trouve en troisième partie. Dans tous les cas, les nouveaux algorithmes détendus sont comparés, en théorie comme en pratique, aux algorithmes existants. En quatrième partie, nous étudions l'algèbre de décomposition universelle d'un polynôme. Nous développons un algorithme rapide pour calculer une représentation adéquate de cette algèbre et l'utilisons pour manipuler efficacement les éléments de l'algèbre. Finalement, nous montrons en annexe que la recherche d'invariants fondamentaux d'algèbres d'invariants sous un groupe fini peut se faire directement modulo p, facilitant ainsi leur calcul.

Le présent travail porte sur le comportement des plates-formes ferroviaires anciennes en France. Tout d'abord, une étude statistique a été menée sur les problèmes survenus dans l'ensemble du réseau ferroviaire français. L'analyse montre l'importance particulière de la qualité du sol support pour la performance de la sous-structure et pour la tenue géométrique des voies. Ensuite, une ligne ferroviaire ancienne située à l'Ouest de la France a été étudiée spécifiquement. Les analyses montrent que la vitesse de dégradation de cette ligne est en corrélation avec les différents paramètres tels que la nature de sol support, l'épaisseur des couches de la sous-structure. Une tendance d'augmentation de la vitesse de dégradation avec la diminution de l'épaisseur de la couche intermédiaire est identifiée. Cette couche as un impact positif puisqu'elle réduit les contraintes appliquées au sol support. Le comportement hydromécanique du sol de la couche intermédiaire dans des conditions différentes (teneur en eau, teneur en particules fines, charge, nombre de cycles) a été étudié. Des essais triaxiaux et des essais de colonne d'infiltration ont été réalisés à cette fin. En analysant les propriétés de résistance au cisaillement, la déformation axiale permanente et le module réversible, on a constaté que les effets de la teneur en eau et de la teneur en fines doivent être pris en compte ensemble. Une augmentation de teneur en fines dans la couche intermédiaire présente un impact positif à l'état non saturé grâce à l'effet de la succion, mais un impact négatif à l'état saturé. Les essais de colonne d'infiltration avec des cycles de séchage/humidification ont montré que la conductivité hydraulique du sol est gouvernée par la fraction de fines et qu'elle ne change pas significativement avec la teneur en fines. Afin d'étudier les mécanismes de la création de la couche intermédiaire et de remontée boueuse, un modèle physique de 550 mm de diamètre intérieur a été développé. Des échantillons de sol qui représentent la sous-structure ferroviaire ancienne avec une couche de ballast posée sur une couche de limon artificielle (mélange de sable concassé et du kaolin) ont été testés. Les effets des charges monotones et cycliques, de la teneur en eau et de la masse volumique sèche du sol support ont été étudiés. Il a été constaté que la pression interstitielle développée dans le sol support et la rigidité du sol support sont des facteurs clés pour la migration des particules fines ou la création de la couche intermédiaire/la remontée boueuse. L'eau est la condition nécessaire, mais c'est la compressibilité du sol support qui gouverne le phénomène à se produire / The present work deals with the behavior of ancient railway sub-structure in France. A statistical study was firstly undertaken on problems occurred in the whole ancient French railway network. The analysis evidenced the particular importance of sub-grade quality for the performance of the sub-structure and the track geometry. Afterwards, an ancient railway line in the West of France was investigated. The analysis showed that the degradation speed of this line was correlated with different parameters such as the nature of sub-grades and the thickness of different layers. An increase trend of degradation speed with the increase in interlayer thickness was identified. The interlayer has a positive impact since it reduces the train-induced stress applied to the sub-grade. The hydro-mechanical behavior of interlayer soil under different conditions (water content, fines content, stress, number of cycles) was investigated. A set of triaxial tests and infiltration tests were performed for this purpose. By analyzing the shear strength properties, the permanent axial strain and the resilient modulus of interlayer soil, we found that the water content and the fines content must be considered together. Adding more fines into the interlayer presents a positive impact under unsaturated conditions thanks to the suction effect, but a negative impact under saturated conditions. The infiltration column tests with drying/wetting cycles showed that the hydraulic conductivity of interlayer soil is governed by fines fraction but did not change significantly with fines content. In order to study the mechanism of interlayer creation and mud pumping, a physical model of 550 mm inner diameter was developed. Soil samples representing the ancient French railway substructure with a ballast layer overlying an artificial silt layer (mixture of crushed sand and kaolin were tested. The effects of monotonic and cyclic loadings, water content and dry unit mass of sub-soil were investigated. It was found that the pore water pressure developed in the sub-soil and the sub-soil stiffness are the key factors for the migration of fine particles or the creation of interlayer/mud pumping. Water is the necessary condition, but it is the soil compressibility that governs the phenomenon to occur

Les Îles-de-la-Madeleine sont situées dans le golfe du Saint-Laurent et donc sont entourées d'eau salée. En raison d'une absence d'un réseau hydrique de surface important, l'eau douce souterraine est l'unique source d'eau potable pour les Madelinots. L'eau douce souterraine de l'archipel est contenue dans un aquifère perméable de grès rouge et existe sous forme de lentille qui flotte par densité sur l'eau salée souterraine. En raison de cette configuration, l'exploitation de cet aquifère nécessite des stratégies de gestion complexes en raison de sa vulnérabilité à l'intrusion saline dans les puits de pompage. Compte tenu de l'absence d'eau de surface sur l'archipel, l'étude des résurgences d'eau souterraine en milieu marin est essentielle, car elle représente la décharge principale des eaux souterraines. Le terme résurgence d'eau souterraine fait référence à tout fluide qui au terme de son parcours dans l'aquifère émerge en surface dans la mer. L'objectif principal du projet de recherche est de cartographier les résurgences d'eau souterraine aux îles de la Madeleine. Durant l'automne 2020, une campagne de terrain a été menée pour localiser les zones de résurgences à l'aide de relevés infrarouges et photogrammétriques sur trois sites de l'archipel. Les relevés infrarouges aéroportés permettent de localiser des résurgences d'eau souterraine via l'observation de contrastes de température de surface à un temps donné. 13 relevés ont été effectués et des gradients de température significatifs ont été localisés entre 3 et 10 mètres du rivage et des gradients de température plus faibles ont pu être observés plus au large. L'instrumentation d'une plage d'un des sites d'étude avec des systèmes de piézomètres multiniveaux a statué la présence d'un écoulement souterrain vers la mer, validant la présence de résurgences d'eau souterraine dans le milieu marin. Malgré l'apparente simplicité de la méthode, l'interprétation de ces relevés infrarouges s'est avérée difficile. Le défi principal de l'interprétation des relevés est que l'étendue et la signature thermique des résurgences dans le contexte des îles étaient inconnues. Afin d'étayer l'analyse, des simulations numériques ont été réalisées avec le modèle Heatflow-Smoker qui simule le transport couplé de chaleur et de masse. Un domaine 2D de 300x35m a été développé pour représenter une lentille d'eau souterraine dans une zone côtière. Le modèle est informé par les données recueillies durant la campagne de terrain. La température de surface du milieu marin est calculée à partir des sorties du modèle hydrogéologique, combinées à un bilan analytique d'énergie thermique de surface. Le scénario de base représentant un contexte hydrogéologique similaire à celui des îles de la Madeleine a confirmé la présence de résurgence via le transport de chaleur avec une étendue à proximité de la côte (~5 m). Une étude paramétrique a été réalisée par la suite pour évaluer l'impact de différentes variables sur les résurgences d'eau souterraine en régime permanent et transitoire. La bathymétrie, les milieux humides et l'écoulement souterrain horizontal se sont avérés être des facteurs d'influence importants sur l'étendue et la signature thermique des résurgences d'eau souterraine. À la lumière de ces résultats, démontrer une corrélation entre les résurgences et la température de surface d'un milieu marin est possible, mais nécessite un cadre d'interprétation rigoureux pour valider la présence de résurgences. / The Magdalen Islands in the Gulf of St. Lawrence are surrounded by salt water, and because of a lack of surface water, fresh groundwater is the only source of drinking water for its inhabitants. Fresh groundwater in the archipelago is contained within a permeable red sandstone aquifer, and exists as a lens that overlies the denser saline groundwater. Because of this configuration, exploitation of this aquifer requires complex management strategies due to potential saline intrusion in the pumping wells. Given the absence of any surface water bodies on the archipelago, the study of submarine groundwater discharge (SGD) is essential since it represents the main natural discharge for groundwater. SGD is driven by differences in hydraulic head, and causes fresh groundwater to flow from the aquifer into the marine environment. Interest in studying submarine groundwater discharge (SGD) around the archipelago has recently increased due to its potentially significant effects on marine ecosystems, contaminant pathways, as well as on the refinement of water budgets for the islands' groundwater resources. The main objective of this study is to map the SGD at the Magdalen Islands using thermal infrared remote (TIR) sensing. During the autumn of 2020, an experimental field campaign was conducted to locate potential SGD zones using infrared and photogrammetric surveys at three different sites on the archipelago. Unmanned aerial thermal infrared surveys can detect SGD based on temperature contrasts at a given time in marine environments. Thirteen surveys were carried out and significant temperature gradients were located 3 to 10 meters from the shore while smaller temperature gradients were observed further from the shore. Some multilevel piezometers were installed on a beach at one of the study sites (Ch.du Bassin Est, île de la Grande-Entrée) and showed small hydraulic gradients, validating limited groundwater flow rates into the marine environment. Despite the apparent simplicity of the method, the interpretation of these surveys has proven challenging, including unexplained seasurface temperature (SST) contrasts as well as the extent of the SGD. In order to support the analysis, numerical simulations were conducted with the Heatflow-Smoker model which simulates coupled density-dependent flow, heat and mass transport. A 300x35 m vertical 2D domain is used to represent a groundwater lens in a coastal area with saltwater intrusion and is informed by data collected during the field campaign. SST is computed from the 2D hydrogeological model results, combined with an analytical sea surface thermal energy budget. The base case scenario representing a hydrogeological context similar the Magdalen Islands confirmed small SGD locations close to the shore. A parametric study was performed to evaluate the impact of different variables, including bathymetry, coastal swamps, and physical parameters, on SGD and SST, under steady state and transient tidal conditions. Bathymetry, swamps and horizontal groundwater flow showed to be the important drivers of SGD. In light of the results, proving correlations between SGD and SST is possible but requires a rigorous interpretation framework to validate the presence of SGD.

L'équilibre densitaire entre l'eau douce et l'eau salée dans les aquifères côtiers est un phénomène instable difficile à caractériser. La validation des modèles hydrogéologiques 2D/3D reste alors délicate sur la seule base de données ponctuelles d'observation en forages. Dans ce but, la tomographie de résistivité électrique (ERT) constitue une technique d'investigation pertinente pour la caractérisation haute résolution de la distribution 2D/3D du sel au sein de l'aquifère.<br />Une méthodologie de validation croisée entre les modèles géo-électriques et les modèles d'écoulement densitaire a été développée. Dans un premier temps, l'interprétation par modélisation inverse des mesures ERT fournit des informations pertinentes pour la structuration et le paramétrage des modèles hydrogéologiques (géométrie du réservoir, vitesses d'écoulement, etc.). Dans un deuxième temps, une validation qualitative est obtenue par comparaison entre la distribution des salinités interprétée d'après les résultats du modèle géo-électrique d'inversion et celle simulée par le modèle d'écoulement densitaire. Enfin, une validation quantitative est obtenue par comparaison entre la réponse géo-électrique théorique des salinités simulées par le modèle hydrogéologique (préalablement transformées en résistivité par application d'un modèle hydro-pétrophysique) et les mesures ERT acquises sur le terrain.<br />La fiabilité de la méthode a été précisée par des analyses de sensibilité conduites sur les différents modèles utilisés (géo-électrique, hydrogéologique et hydro-pétrophysique) et son applicabilité a été testée sur trois contextes hydrogéologiques et climatiques différents. Ainsi, aux Îles-de-la-Madeleine (Canada), les remontées salines sous les captages d'eau ont été caractérisées. Sur l'îlot M'Ba (Nouvelle-Calédonie), les variations spatiales de la recharge contrôlant le développement de la lentille d'eau douce ont été évaluées. Enfin, sur le tombolo de Pikine (Sénégal), les phénomènes évapotranspiratoires et concentrateurs intenses affectant les dépressions inter-dunaires ont été quantifiés.

Les langages dédiés de modélisation (DSMLs) sont de plus en plus utilisés dans les phases amont du développement des systèmes complexes, en particulier pour les systèmes critiques embarqués. L’objectif est de pouvoir raisonner très tôt dans le développement sur ces modèles et, notamment, de conduire des activités de vérification et validation (V and V). Une technique très utilisée est la vérification des modèles comportementaux par exploration exhaustive (model-checking) en utilisant une sémantique de traduction pour construire un modèle formel à partir des modèles métiers pour réutiliser les outils performants disponibles pour les modèles formels. Définir cette sémantique de traduction, exprimer les propriétés formelles à vérifier et analyser les résultats nécessite une expertise dans les méthodes formelles qui freine leur adoption et peut rebuter les concepteurs. Il est donc nécessaire de construire pour chaque DSML, une chaîne d’outils qui masque les aspects formels aux utilisateurs. L’objectif de cette thèse est de faciliter le développement de telles chaînes de vérification. Notre contribution inclut 1) l’expression des propriétés comportementales au niveau métier en s’appuyant sur TOCL (Temporal Object Constraint Language), une extension temporelle du langage OCL; 2) la transformation automatique de ces propriétés en propriétés formelles en réutilisant les éléments clés de la sémantique de traduction; 3) la remontée des résultats de vérification grâce à une transformation d’ordre supérieur et un langage de description de correspondance entre le domaine métier et le domaine formel et 4) le processus associé de mise en oeuvre. Notre approche a été validée par l’expérimentation sur un sous-ensemble du langage de modélisation de processus de développement SPEM, et sur le langage de commande d’automates programmables Ladder Diagram, ainsi que par l’intégration d’un langage formel intermédiaire (FIACRE) dans la chaîne outillée de vérification. Ce dernier point permet de réduire l’écart sémantique entre les DSMLs et les domaines formels. / Domain specific Modeling Languages (DSMLs) are increasingly used at the early phases in the development of complex systems, in particular, for safety critical systems. The goal is to be able to reason early in the development on these models and, in particular, to fulfill verification and validation activities (V and V). A widely used technique is the exhaustive behavioral model verification using model-checking by providing a translational semantics to build a formal model from DSML conforming models in order to reuse powerful tools available for this formal domain. Defining a translational semantics, expressing formal properties to be assessed and analysing such verification results require such an expertise in formal methods that it restricts their adoption and may discourage the designers. It is thus necessary to build for each DSML, a toolchain which hides formal aspects for DSML end-users. The goal of this thesis consists in easing the development of such verification toolchains. Our contribution includes 1) expressing behavioral properties in the DSML level by relying on TOCL (Temporal Object Constraint Language), a temporal extension of OCL; 2) An automated transformation of these properties on formal properties while reusing the key elements of the translational semantics; 3) the feedback of verification results thanks to a higher-order transformation and a language which defines mappings between DSML and formal levels; 4) the associated process implementation. Our approach was validated by the experimentation on a subset of the development process modeling language SPEM, and on Ladder Diagram language used to specify programmable logic controllers (PLCs), and by the integration of a formal intermediate language (FIACRE) in the verification toolchain. This last point allows to reduce the semantic gap between DSMLs and formal domains.