La thérapie cellulaire consiste à utiliser des cellules comme médicament injectable dans le but de favoriser la réparation d'un tissu ou d'un organe. Certaines cellules possèdent la propriété de stimuler la formation de nouveaux vaisseaux sanguins. Elles présentent un intérêt pour le développement d'un traitement des ischémies des membres inférieurs ou du myocarde. Déterminer le devenir de ces cellules après injection in vivo est important pour comprendre les mécanismes responsables de l'efficacité d'un tel traitement. Cependant, il est difficile à observer et très peu décrit dans la littérature. Quelques exemples d'utilisation de nanotechnologies sont rapportés pour suivre des cellules in vitro. Mais des facteurs limitant tels qu'une complexité de mise en oeuvre de ces techniques ou leur trop faible sensibilité rend difficile leur utilisation in vivo. Ce travail de thèse propose de décrire le développement de nanoparticules originales associant les modalités d'imagerie optique et d'IRM afin de marquer simplement des cellules ayant un potentiel thérapeutique. Les protocoles développés ont permis de vectoriser et suivre en temps réel ces cellules après injection chez la souris. / Cell therapy aims to use cells as injectable medicines in order to enhance damaged organs or tissues repair. Some cells have the ability to promote new blood vessels growth. Therefore, they have an interest in revascularization of ischemic tissues and are potential candidates for cell therapy in peripheral ischemia or myocardial infarction. Being able to determine these cell's fates after in vivo injection is a major step to better understand the mechanisms of such treatments efficiency. However, following this phenomenon is challenging and rarely described in scientific litterature. Only some applications of nanotechnologies to follow labeled cells in vitro have been published. But limitations as implementation complexity or a low sensitivity prevent from using these techniques in vivo. This phD work describes the development of new hybrids nanoparticules associating optical and magnetic resonance imaging modalities in order to efficiently label cells that have a therapeutic potential. Developed protocols allowed us to follow magnetic cell vectorisation after injection in mice in real time.

Afin de limiter leur coût et/ou leur consommation électrique, certains processeurs embarqués sacrifient le support matériel de l'arithmétique à virgule flottante. Pourtant, pour des raisons de simplicité, les applications sont généralement spécifiées en utilisant l'arithmétique à virgule flottante. Porter ces applications sur des processeurs embarqués de ce genre nécessite une émulation logicielle de l'arithmétique à virgule flottante, qui peut sévèrement dégrader la performance. Pour éviter cela, l'application est converti pour utiliser l'arithmétique à virgule fixe, qui a l'avantage d'être plus efficace à implémenter sur des unités de calcul entier. La conversion de virgule flottante en virgule fixe est une procédure délicate qui implique des compromis subtils entre performance et précision de calcul. Elle permet, entre autre, de réduire la taille des données pour le coût de dégrader la précision de calcul. Par ailleurs, la plupart de ces processeurs fournissent un support pour le calcul vectoriel de type SIMD (Single Instruction Multiple Data) afin d'améliorer la performance. En effet, cela permet l'exécution d'une opération sur plusieurs données en parallèle, réduisant ainsi le temps d'exécution. Cependant, il est généralement nécessaire de transformer l'application pour exploiter les unités de calcul vectoriel. Cette transformation de vectorisation est sensible à la taille des données ; plus leurs tailles diminuent, plus le taux de vectorisation augmente. Il apparaît donc un compromis entre vectorisation et précision de calcul. Plusieurs travaux ont proposé des méthodologies permettant, d'une part la conversion automatique de virgule flottante en virgule fixe, et d'autre part la vectorisation automatique. Dans l'état de l'art, ces deux transformations sont considérées indépendamment, pourtant elles sont fortement liées. Dans ce contexte, nous étudions la relation entre ces deux transformations, dans le but d'exploiter efficacement le compromis entre performance et précision de calcul. Ainsi, nous proposons d'abord un algorithme amélioré pour l'extraction de parallélisme SLP (Superword Level Parallelism ; une technique de vectorisation). Puis, nous proposons une nouvelle méthodologie permettant l'application conjointe de la conversion de virgule flottante en virgule fixe et de l'exploitation du SLP. Enfin, nous implémentons cette approche sous forme d'un flot de compilation source-à-source complètement automatisé, afin de valider ces travaux. Les résultats montrent l'efficacité de cette approche, dans l'exploitation du compromis entre performance et précision, vis-à-vis d'une approche classique considérant ces deux transformations indépendamment. / In order to cut-down their cost and/or their power consumption, many embedded processors do not provide hardware support for floating-point arithmetic. However, applications in many domains, such as signal processing, are generally specified using floating-point arithmetic for the sake of simplicity. Porting these applications on such embedded processors requires a software emulation of floating-point arithmetic, which can greatly degrade performance. To avoid this, the application is converted to use fixed-point arithmetic instead. Floating-point to fixed-point conversion involves a subtle tradeoff between performance and precision ; it enables the use of narrower data word lengths at the cost of degrading the computation accuracy. Besides, most embedded processors provide support for SIMD (Single Instruction Multiple Data) as a mean to improve performance. In fact, this allows the execution of one operation on multiple data in parallel, thus ultimately reducing the execution time. However, the application should usually be transformed in order to take advantage of the SIMD instruction set. This transformation, known as Simdization, is affected by the data word lengths ; narrower word lengths enable a higher SIMD parallelism rate. Hence the tradeoff between precision and Simdization. Many existing work aimed at provide/improving methodologies for automatic floating-point to fixed-point conversion on the one side, and Simdization on the other. In the state-of-the-art, both transformations are considered separately even though they are strongly related. In this context, we study the interactions between these transformations in order to better exploit the performance/accuracy tradeoff. First, we propose an improved SLP (Superword Level Parallelism) extraction (an Simdization technique) algorithm. Then, we propose a new methodology to jointly perform floating-point to fixed-point conversion and SLP extraction. Finally, we implement this work as a fully automated source-to-source compiler flow. Experimental results, targeting four different embedded processors, show the validity of our approach in efficiently exploiting the performance/accuracy tradeoff compared to a typical approach, which considers both transformations independently.

Les polyesters aliphatiques, comme le poly(acide malique) et ses dérivés, sont une famille de polymères aux propriétés de bio(comptabilité) et de bio(dégradabilité) remarquables, qui en font des candidats de choix pour l'élaboration de systèmes de vectorisation de principes actifs. Généralement, ces polymères sont synthétisés via des réactions de polymérisation utilisant des amorceurs, voir des catalyseurs, organiques, organométalliques ou métalliques. La présence de ces molécules, même à l'état de traces, peut être à l'origine d'une toxicité non souhaitée. Par conséquent, l'utilisation de biocatalyseurs, comme les lipases, se développe pour apporter une solution à cet inconvénient. Cependant, cette voie de synthèse enzymatique fait face à d'autres problèmes, tels qu'une polymérisation moins bien maîtrisée et des polymères de masses molaires faibles. Cette thèse a donc pour objectif de mettre au point une voie de polymérisation du malolactonate de benzyle utilisant la lipase de pancréas de porc (PPL) comme amorceur. Dans un premier temps, nous avons optimisé certains paramètres réactionnels permettant d'obtenir des poly(malate de benzyle) , PMLABe, de masses molaires suffisamment élevées pour que ces polymères puissent être utilisés dans la formulation de vecteurs de principes actifs, grâce à l'utilisation et l'extrapolation d'un plan d'expérience. Nous nous sommes ensuite intéressés à la compréhension du mécanisme réactionnel de la polymérisation enzymatique du malolactonate de benzyle, une β-lactone β-substituée. Les différentes études menées ont permis d'approfondir notre connaissance dans ce domaine. Deux mécanismes ont été proposés et des expériences sont en cours pour confirmer l'un d'entre eux. Finalement, comme l'objectif initial est de proposer une méthode de synthèse de dérivés du PMLA plus biocompatibles conduisant à des polymères sans résidus d'amorceurs chimiques toxiques, nous avons comparé les activités biologiques de nanoparticules préparées à partir de PMLABe synthétisés par voie chimique et par voie enzymatique. Pour cela, nous avons mesuré la captation de ces nanoparticules, encapsulant une sonde de fluorescence, par des cellules hépatiques HepaRG. Puis, nous avons évalué la toxicité aiguë et la toxicité chronique de ces nanoparticules vis-à-vis des cellules HepaRG. Ces études ont permis de mettre en évidence certaines propriétés des nanoparticules ayant une influence sur la survie cellulaire et le métabolisme des cellules HepaRG. De la compréhension théorique aux applications potentielles, cette thèse apporte des connaissances sur la polymérisation enzymatique des lactones substituées, un domaine peu décrit dans la littérature. / Aliphatic polyesters, like poly(malic acid)and its derivatives, are a family of polymers with outstanding properties, such as bio(degradability) and bio(compatibility). Therefore, these polyesters can be considered as excellent candidates for the design of drug carriers. These kinds of polymers are usually synthesized thanks to polymerization reactions using organic, organometallic or metallic initiators or catalysts. The presence of such molecules, even in trace amounts, can cause undesired toxicities. Therefore, the use of biocatalysts, like lipases, is attracting more and more interest and research work to circumvent this problem. However, this enzymatic polymerization method has to face to other issues, such as a lower controlled of the polymerization process and polymers with lower molar masses. Therefore, this PhD research work aimed at setting up the enzymatic polymerization of benzyl malolactonate, using porcine pancreatic lipase (PPL). Firstly, we have optimized some reactional parameters allowing to obtain poly(benzyl malate), PMLABe, with molar masses adapted to their uses for the design of drug carriers, thanks to a Design of Experiments (DoE) and its extrapolation. We were then interested by the comprehension of the enzymatic polymerization mechanism of the benzyl malolactonate. The different studies we carried out allowed us to deepen our knowledges of such enzymatic polymerization. Two non-canonical mechanisms were proposed and further experiments are in progress to confirm the one which is the more probable. Finally, because our initial goal was to propose a more biocompatible polymerization method to obtain PMLABe free of traces of chemical initiator, we compared biologic activities of different nanoparticles prepared from PMLABe synthesized using chemical or enzymatic pathway. For that, we have first measured the uptake of these nanoparticles encapsulating a fluorescent dye, by the hepatic cells HepaRG. Then, we have studied the acute and chronic toxicity of the nanoparticles on the HepaRG cells. Results of these studies have highlighted that certain properties of the nanoparticles and/or of the polymers which constituted them have an influence on the cells viability and on the cells metabolism. From the theoretical mechanism to the probable applications, this thesis brings knowledge about the enzymatic polymerization of substituted lactone, a field poorly described in the literature.