La communication phéromonale chez les lépidoptères, si sensible et spécifique, constitue un modèle de choix pour l'étude des bases moléculaires de la réception olfactive. La spécificité de ce système serait assurée dès le niveau périphérique, dans l'antenne, par l'intervention d'une diversité de protéines impliquées dans la chimioréception des odorants. Le ver à soie, Bombyx mori, est une espèce particulièrement appréciée pour l'étude des mécanismes olfactifs : la réponse des mâles à la phéromone est connue, l'espèce est manipulable génétiquement et les séquences génomiques sont accessibles sur Internet. Au cours de mon travail de thèse, j'ai pu identifier et caractériser au niveau moléculaire une diversité de gènes olfactifs appartenant à différentes familles par des techniques bioinformatiques d'analyse du génome et de biologie moléculaire. Leurs patrons d'expression ont notamment été analysés afin de vérifier si leur localisation tissulaire était compatible avec une fonction chimiosensorielle. Certains de ces gènes (BmPBP2, BmPBP3, BmAOX2) pourraient coder pour des protéines spécifiquement impliquées dans la réception phéromonale alors que d'autres (BmAOX1, BmSNMP2) pourraient intervenir aussi dans la réception de molécules moins spécifiques. Par leurs interactions combinées et séquentielles avec les molécules odorantes, ces différentes familles de protéines permettraient d'assurer leur reconnaissance spécifique au cours des différentes étapes périphériques de la réception olfactive. Par ailleurs, j'ai pu participer à la mise au point chez le ver à soie d'un outil novateur d'analyse fonctionnelle in vivo basé sur l'expression par transgenèse de RO dans les antennes du ver à soie. Ce système a été développé avec un récepteur phéromonal mâle-spécifique, BmOR1. Les femelles des lignées transgéniques exprimaient fortement le récepteur dans leurs antennes, mais se sont révélées incapables de répondre au composé phéromonal (Bol) au cours d'enregistrements électrophysiologiques. L'utilisation future d'un nouveau promoteur spécifique des neurones olfactifs, pOR2, pourrait permettre de développer le premier système stable d'analyse fonctionnelle in vivo chez un lépidoptère.

Dans les affaires judiciaires, les juges confrontés à des questions d’ordre techniques en matière informatique, recourent à des experts qui mettent leur savoir-faire au service de la justice. Régulièrement mandatés par les tribunaux, ils ont pour mission d'éclairer le juge en apportant des éléments de preuve utiles à l'enquête.Ils recherchent dans les scellés informatiques les éléments relatifs aux faits incriminés en préservant l’intégrité des données et évitant toute altération des supports originaux. Les éléments de preuve ainsi recueillis sont analysés par l’expert qui déposera ses conclusions au magistrat sous forme d’un rapport d'expertise.les investigations techniques sont effectuées à l'aide des outils très sophistiqués qui permettent de prendre connaissance des informations présentes, effacées, cachées ou chiffrées dans les supports numériques examinés.Ce qui requiert une parfaite maîtrise du matériel déployé et une identification claire des bonnes pratiques de la discipline. Ce projet de recherches vise à mettre en exergue les défis techniques aux quels sont confrontés les experts, la complexité des outils utilisés dans le cadre des investigations techniques et l'importance de la mise en place des tests de validation qui permettent de connaître les capacités et limites de chaque outil. / In criminal cases, judges confronted with questions of technical order in computer technology, designate expert witnesses who put their expertise at the service of justice. Duly appointed by the courts, they help the judge by providing evidence relevant to the investigation.They search the suspect’s seized digital devices for elements of computer related crime, while preserving the integrity of the data and avoiding any alteration of the original media.The evidence thus collected is analyzed by a digital forensic expert who will document their findings to the judge in a report.Technical investigations are conducted by using powerful and sophisticated tools to find the current files and recover deleted, hidden or encrypted data from the digital media device examined.This requires perfect control of the utilized equipment and a clear identification of the methods used during the analysis. This research project aims to highlight the technical challenges which experts face, the complexity of digital forensic tools used for technical investigations, and the importance of their validation to understand the capabilities and limitations of each tool.

Le développement industriel important, le fort accroissement démographique, l'urbanisation intensive, l'expansion des trafics de transports routiers, aériens et maritimes, sont tout autant de facteur contribuant à l'épuisement des ressources planétaires, du foncier et au dérèglement climatique. Faire face aux émissions de gaz à effet de serre et aux autres impacts environnementaux se résume le plus souvent à la conduite d'une politique complémentaire couplant les 3 piliers stratégiques du développement durable : environnement, économie et social. Une normalisation des principes de développement durable est difficile à clarifier, elle dépend du contexte et des objectifs d'un pays ou du territoire d'étude impliqué. La transition énergétique et écologique nécessite un référentiel d'éco-aménagement adapté aux spécificités et aux enjeux des espaces concernés. Ces travaux contribuent à accompagner l'aménagement d'un site en milieu périurbaininsulaire, autour d'activité des secteurs primaires, secondaires, tertiaires et résidentiels.Dans ce cadre, plusieurs outils d'analyse ont été développés pour répondre aux exigences d'un éco-aménagement, à partir notamment des analyses techniques, environnementales et de l'évaluation globale d'un éco-aménagement. Ces outils développés permettent aux acteurs d'aménagement du territoire et de construction d'espaces bâtis, d'analyser les bilans d'impacts environnementaux d'un projet et d'évaluer différentes alternatives d'aménagement. Au delà des outils d'aide à la décision, il est proposé dans cette thèse, une démarche méthodologique basée sur l'approche systémique et typologique et le cadre normatif ISO 14044 relatif à l'Analyse de Cycle de Vie. / Significant industrial development, strong population growth, intensive urbanization,expansion of road, air and sea transports are all factors that contribute to the exhaustion of natural resources, land and climate change. The combination of the 3 strategic pillars of sustainable development : environment, economy and social, in the deployment of complementary policies contributes to the reduction of greenhouse gases emissions and environmental impacts.The standardization of the sustainable development principles is difficult to implement. It depends on the context of a the studied country or territory. The ecological and energy transition requires a eco-mangement frame of reference adapted to the specificities and stakes of the concerned territories. This work contributes to the development of a surburban site in a tropical islandenvironment, around activities in the primary, secondary, and tertiary sectors. In this context, several analysis tools have been developed to meet the requirements of an eco-management scheme, including technical and environmental analyzes and the overall evaluation of an eco-management scheme. These tools provide local and regional actors to analyze the environmental impacts of a project and to evaluate different development alternatives. In addition to the decision-supporttools, a methodological approach is proposed in this thesis, based on the systemic and typological approaches and the ISO 14044 normative framework relating to Life Cycle Assessment.

L'application de méthodes algébriques en musique représente une démarche récente dans la recherche musicale. Une réflexion historique sur l'émergence du concept de structure algébrique en musique met en évidence la place centrale occupée par trois compositeurs/théoriciens du XXe siècle : Milton Babbitt, Iannis Xenakis et Anatol Vieru. À partir de leurs propositions théoriques, cette étude développe une réflexion approfondie sur la notion de théorie musicale dans ses applications aussi bien analytiques que compositionnelles. Elle offre également une formalisation algébrique de la Set Theory et de ses développements transformationnels tout en discutant les rapports entre la tradition analytique américaine et la démarche théorique formelle en Europe. Les concepts abordés permettent de définir la place d'une démarche computationnelle en musicologie et ouvrent des questions philosophiques sur le rapport entre mathématiques et musique.

Aujourd'hui, les applications automobiles sont devenues de plus en plus complexes avec des ressources limitées et plus de contraintes de temps et de safety. La vérification temporelle est effectuée très tard aujourd'hui au cours du processus de développement automobile (après l'implémentation et au cours de la phase d'intégration). Pour apporter des solutions aux problèmes du développement logiciel automobile, plusieurs approches de développement dirigé par les modèles ont été définit. Ces approches donnent des langages, des concepts et des méthodologies pour la description de l'architecture des systèmes automobiles. Cependant, ces approches ne donnent aucun guide méthodologique pour intégrer l'analyse temporelle (notamment l'analyse d'ordonnancement) tout au long du processus de développement. Ce travail de thèse propose de développer une méthodologie décrivant un processus d'analyse temporelle dirigé par les modèles. Cette méthodologie décrit les différentes phases du processus de développement dirigé par les modèles et comment l'analyse temporelle est effectuée durant chaque phase.