Le début des années 70 a été marqué par une forte accélération de la croissance urbaine en Tunisie en particulier dans le Grand Tunis. Cette croissance s'est manifestée par un étalement spatial de l'agglomération tunisoise vers le Nord et l'Ouest qui s'est distingué surtout par la prolifération de l'habitat spontané. Face à une telle situation, les pouvoirs publics ont pris la décision d'orienter la dynamique spatiale vers la périphérie méridionale, traditionnellement connue par ses activités industrielles. C'est dans ce contexte que s'inscrit le nouveau quartier résidentiel d'El Mourouj qui a vu le jour à partir des années 1980 et qui constitue une opération d'urbanisme d'envergure. Plusieurs acteurs du développement urbain vont « s'affronter » sur ce territoire en gestation avec des logiques et des stratégies souvent contradictoires. Les pouvoirs publics qui représentent le principal acteur à travers ses différentes institutions et organismes ont exercé durant les trois dernières décennies le monopole de la gestion et l'offre foncière, de la production et du financement du logement. Ils ont essayé de développer un modèle d'aménagement urbain privilégiant la mixité des quartiers d'habitation d'un point de vue contenu social et encourageant les constructions verticales afin d'atténuer la « déferlante urbaine ». Cette politique qui vise à réduire la consommation de l'espace ne cadre pas avec l'engouement des ménages qui préfèrent les logements individuels et procèdent souvent à de multiples transformations dans les nouvelles habitations qu'ils acquièrent dans le but de les adapter à leurs coutumes et mode de vie quotidiens. Avec le désengagement progressif de l'Etat du secteur de l'habitat, les promoteurs immobiliers privés vont s'imposer sur la scène de la production du cadre bâti et ils vont profiter de l'augmentation des coûts fonciers et des fluctuations du marché immobilier pour réaliser des marges bénéficiaires appréciables. A travers notre recherche, nous avons essayé de montrer que l'absence de coordination entre les différents opérateurs du secteurs public et privé, le cloisonnement qui existe au niveau de l'administration et la mise à l'écart des citoyens dans la gestion des affaires quotidiennes de la cité, expliquent les retards dans la réalisation des équipements de base comme c'est le cas de la ligne de métro à El Mourouj et les difficultés de gouvernance communale dans ces nouvelles banlieues en recomposition de la périphérie du Grand Tunis.

Les travaux de cette thèse concernent la gestion de connaissances au sein des processus techniques d'Ingénierie Système (IS). Ces processus peuvent être considérés comme un espace de création continue de connaissances faisant appel à des savoir-faire multi-métiers et produisant de nombreux « artefacts », allant des spécifications aux composants logiciels et matériels jusqu'au système lui-même, et présentant des degrés très divers de formalisation. A ces éléments, il convient d'ajouter les alternatives de solutions et les justifications de décisions, pour constituer, au final, un ensemble der connaissances métiers implicites aujourd'hui très peu valorisées dans les organisations, et que ces dernières cherchent actuellement à réutiliser au mieux au cours de projets ultérieurs. Pour fournir des éléments de réponse à cette problématique nous proposons un cadre ontologique générique dédié à la modélisation formelle et consensuelle des savoir-faire métiers de l'IS. Nous analysons ensuite l'application de ce cadre à la description des expériences de projets d'ingénierie que nous dénommons Connaissances Métiers Situées (CMS). Pour gérer ces expériences nous proposons d'une part, un modèle de capitalisation de CMS sous forme d'annotations sémantiques des dimensions situation, but, choix et décisions d'ingénierie. Et d'autre part, un modèle de partage de CMS suggérant les expériences potentiellement utiles au cours de projets ultérieurs. Les propositions conceptuelles de cette thèse ont été opérationnalisées à l'aide du formalisme des Graphes Conceptuels et appliquées dans le domaine de l'Ingénierie de Systèmes de défense.

Les conflits d'usage sont des signaux de la dynamique contemporaine des fonctions de l'espace rural, et notamment de la montée en puissance de l'économie résidentielle des campagnes. Les autorités publiques locales en mettant en œuvre une réglementation administrative, sacrifient certains usages des ressources environnementales communes particulièrement convoitées, sans pouvoir satisfaire unanimement les administrés. Faute de mécanismes de compensation monétaire et de possibilités de fuir certains dommages environnementaux, les habitants prennent la parole pour signaler aux autorités publiques locales leurs préférences pour un cadre de vie résidentiel. Ils tentent également de saisir les instruments de réglementation administrative qui organisent les usages multiples. Il s'ensuit dans de nombreuses situations une nouvelle distribution des droits d'usage censée améliorer le produit social net. Différents travaux empiriques permettent d'éclairer la diversité des situations conflictuelles, les moyens de droit convoqués par les adversaires et les principales solutions matérielles apportées aux différends.

La fin du XXème siècle a été marquée par d'importantes mutations des marchés financiers de par leur développement, libéralisation et enfin concentration dans une dynamique transfrontalière. Un fait saillant de ces mutations est l'accélération progressive des comouvements de prix d'actifs, à la fois entre segments de marchés, mais également entre pays. Si l'ouverture des marchés de capitaux favorise une allocation optimale des ressources et des risques, cette même ouverture fait également planer un risque systémique, à l'échelle du globe de par l'intensification de ces comouvements observés en période de crise. <br />De ce fait, la multiplication des dynamiques de transmission, de plus en plus rapides se présente comme un enjeu majeur pour les décideurs politiques (banques centrales) en termes de modélisation financière pour permettre un suivi de la stabilité du système financier dans son ensemble. <br />Le premier objectif de cette thèse est d'utiliser plusieurs techniques innovantes de l'économétrie financière (notamment les modèles multifractals) qui permettent de prendre en compte à la fois les dynamiques de long terme entre différents actifs (liées par exemple à l'avènement de la zone euro) sans pour autant négliger les dynamiques de très court terme. Un second objectif est de mettre en évidence l'apport pour les décideurs politiques de l'utilisation des données à haute fréquence. Nous montrons que l'utilisation de ces données permet notamment un éclairage nouveau sur l'évaluation du cadre opérationnel de la Banque Centrale Européenne et de son interaction avec l'ensemble des marchés financiers.

Après un historique bref et général de la déduction automatique, on analyse les tendances actuelles et les besoins en présentation de preuves et communication d'outils d'inférence. Les notions théoriques concernées sont présentées et étudiées en détail. On donne ensuite une synthèse comparative critique et exhaustive de l'état de l'art. Cette synthèse manquait dans la littérature. L'analyse des notions fondamentales en logique et la synthèse sur l'état de l'art permettent d'établir les caractéristiques retenues pour le système GLEF (Graphical & Logical Edition Framework). La conception et la réalisation de deux langages ont permis de rendre GLEF générique (c'est à dire paramétrable par le système formel employé et par la présentation de ses preuves). Un formalisme de définition, fondé sur le Calcul des Construction (dû à Coquand et Huet), sert à représenter et à vérifier les systèmes formels et les preuves dans ses systèmes formels. Un langage de présentation, fondé sur la notion de «boîte», sert à décrire leur présentation. En annexe nous donnons un algorithme original pour l'opération d'effacement, particulièrement difficile en lambda-calcul typé, qui sert à réaliser la commande «couper» de GLEF. GLEF a été développé au sein du projet ATINF (ATelier d'INFérence). Un manuel utilisateur rudimentaire et de nombreux exemples d'utilisation en sont donnés. Certains exemples montrent comment, après avoir spécifié la définition et la présentation d'un système formel objet, un utilisateur de GLEF peut construire ou visualiser des preuves en manipulant directement les objets (formules, preuves partielles, etc.) à l'écran, avec la souris. D'autres illustrent comment GLEF présente les preuves produites par les démonstrateurs d'ATINF ou extérieurs à ATINF. Les principales lignes de recherche future concluent ce travail

Ces travaux de recherche doctorale s'inscrivent dans le domaine de l'Interaction Homme-Machine (IHM) en informatique ambiante avec, comme sujet d'étude, le couplage de ressources d'interaction. Coupler deux ressources, c'est l'action de les lier de manière à ce qu'elles opèrent conjointement pour fournir de nouveaux services. En réponse au foisonnement d'exemples et de techniques d'interaction ad hoc, cette étude propose une définition formelle de la notion de couplage, un cadre analytique ainsi qu'un intergiciel pour l'expérimentation. Le cadre d'analyse inclut d'une part, une taxonomie qui permet de comprendre l'espace problème et d'identifier des pistes de recherche encore inexplorées, et d'autre part des outils formels couvrant le cycle de vie d'un couplage, la composition de couplages, et les techniques d'interaction pour que l'utilisateur puisse façonner son espace interactif par le biais de couplages.

La terminaison de la traduction intervient lorsqu'un ribosome rencontre un codon stop. Ce dernier est alors reconnu par le facteur eRF1p qui, en interaction avec eRF3p, provoque l'arrêt de la synthèse protéique. L'efficacité de terminaison de la traduction est déterminée par le contexte nucléotidique du codon stop. Ainsi, le contexte peut reprogrammer le codon stop en permettant aux ribosomes d'incorporer un ARNt avec une forte efficacité, on parle alors de translecture. J'ai démontré que chez S. cerevisiae les six nucléotides en 3' du codon stop sont déterminants dans l'efficacité de translecture, et que le motif général -CA(A/G)N(T/C/G)A- permet d'obtenir les plus fortes efficacités de passage des codons stop. Mon travail met en évidence que la translecture, identifiée jusqu'à présent uniquement dans des gènes viraux, est aussi retrouvée dans des gènes nucléaires. Elle permet de modifier l'expression des protéines concernées, en fonction des conditions environnementales. C'est notamment le cas du gène PDE2, pour lequel j'ai montré que la translecture permet de contrôler la stabilité de la phosphodiestérase de l'AMPc, et module ainsi le niveau d'AMPc intracellulaire. L'augmentation du niveau d'AMPc observée dans une souche [PSI+] pourrait permettre d'expliquer la grande diversité des phénotypes associés au facteur [PSI+]. Durant ce travail d'autre gènes soumis à un mécanisme de translecture ont été identifiés : il s'agit des gènes IMP3 et BSC4. Pour certains des autres candidats identifiés par notre approche "sans apriori", l'efficacité de translecture est indépendante de la concentration en facteur eRF3p. Ce résultat pourrait signifier qu'au niveau de ces codons stop, le mécanisme de terminaison est indépendant du facteur eRF3p. Le crible d'une banque multicopie d'ADNg m'a permis d'identifier de nouveaux candidats intervenant dans la terminaison de la traduction, ces résultats suggèrent une relation fonctionelle importante entre le cytosquelette et la terminaison de la traduction. L'étude des modifications des ARNt à mis en évidence le rôle important de la pseudouridination aux positions 38 et 39 dans les mécanismes de recodage (translecture et décalage du cadre de lecture). Ce travail a donc mis en évidence que la terminaison de la traduction est un point de contrôle de l'expression de certains gènes chez S. cerevisiae.

Des études récentes montrent une part croissante de requêtes sur les moteurs de recherche du Web comportant des critères géographiques. Cette part est encore plus conséquente sur des corpus plus spécifiques tels que des documents patrimoniaux (récits de voyages par exemple). On admet que l'information géographique est composée de trois facettes : le spatial, le temporel et le thématique. Les travaux effectués dans notre laboratoire visent l'extraction et la construction d'index indépendants et spécifiques aux trois facettes (spatiales, temporelles et thématiques). L'objet de ce travail de thèse est de combiner les trois facettes pour effectuer des recherches multicritère. Ce travail s'intègre au croisement de plusieurs disciplines : Traitement Automatique des Langages Naturels (TALN), Systèmes d'Information Géographique (SIG), Recherche d'Information classique (RI) et Recherche d'Information Géographique (RIG). Notre première contribution porte sur une méthode originale de combinaison des index spécifiques. Lors de l'interrogation il s'agit de questionner de manières indépendantes les différents index puis de combiner les listes de résultats restitués lors de leur interrogation. De plus, nous proposons à un utilisateur de personnaliser cette combinaison par des contraintes. Pour pouvoir effectuer cette combinaison, nous proposons d'imiter les approches d'homogénéisation utilisées dans les stratégies de RI classiques portant sur des termes et les lemmes correspondants. Pour les informations géographiques il s'agit de les redécouper en tuiles et de travailler sur leur fréquence d'apparition. Notre deuxième contribution porte sur une approche d'uniformisation générique mise en œuvre sur l'information spatiale et l'information temporelle. Afin d'évaluer ces différentes propositions, nous les avons testées et validées via différents prototypes et expérimentations. La dernière contribution consiste en un cadre d'évaluation d'un système de recherche géographique. Grâce à ce cadre nous avons pu vérifier et quantifier l'apport de la combinaison de critères géographiques ainsi que comparer différentes approches de combinaisons.

Les recherches menées sur les populations de truite à l'aval des barrages ont mis en évidence l'influence de nombreuses contraintes naturelles. Dans un premier temps, une analyse de la dynamique de 3 populations de truite (Salmo trutta), combinée à une analyse multi-sites (53 sites) des relations entre les populations et leur cadre d'habitat physique en TCC, ont mis en évidence différents éléments structurants. Le premier filtre est la largeur du cours d'eau. A cela se surimpose un forçage par les crues naturelles. En outre, le niveau de fragmentation du réseau hydrographique lié à la taille du barrage influence la variabilité du stade juvénile, tandis que le degré de reconstitution du débit le long du TCC détermine en partie l'abondance de truite. Dans un second temps, le travail a consisté à caractériser pour l'ensemble du parc hydroélectrique EDF le cadre géophysique général dans lequel s'inscrivent les différents types de tronçons de cours d'eau salmonicoles soumis à l'influence d'ouvrages hydroélectriques. 15 types ont ainsi été définis sur la base de leur appartenance à l'un des trois massifs Alpes, Pyrénées et Massif Central, de la combinaison de 2 caractéristiques hydromorphologiques majeures (pente et module), et du régime hydrosédimentaire. Finalement, le croisement des connaissances générales issues de la littérature sur les impacts des ouvrages sur les populations de truite, des connaissances spécifiques acquises via l'analyse multi-sites avec les types de situation ouvrages/milieu permet de tirer des enseignements généraux sur les sensibilités a priori des habitats des cours d'eau d'une région.

L'objectif de ce travail a été d'étudier deux aspects de la flexibilité du système des cellules de lieu de l'hippocampe : la réponse adaptative des cellules de lieu à des changements environnementaux, et les aspects moléculaires impliqués dans cette flexibilité. Dans une première étude, nous avons évalué la capacité de ces cellules à maintenir une représentation spatiale stable malgré des changements des repères de l'environnement. Nous avons pour cela produit un conflit en tournant deux types d'indices dans des directions opposées : des indices proches et des indices distants. La majorité des cellules montre une réorganisation de la représentation (remapping), ce qui suggère qu'elles sont contrôlées par la configuration d'ensemble des indices. Moins souvent, les cellules sont contrôlées par les indices proches, et encore moins souvent par les indices distants. En retirant un des ensemble d'indices, nous observons la compétition entre les processus de pattern completion et pattern separation. Dans un deuxième ensemble d'études, nous avons cherché à comprendre l'implication du gène zif268 dans la mémoire spatiale à court terme et à long terme. Ce gène, membre de la famille des facteurs de transcription Egr, jouerait le rôle de « commutateur moléculaire » permettant le remodelage durable des réseaux neuronaux à la base de la formation de traces mnésiques stables, qui a lieu lors des processus de potentialisation à long terme (PLT). Nous avons testé une souche de souris mutantes chez laquelle le gène zif268 (Krox24) est invalidé dans l'ensemble du cerveau. D'abord, nous avons voulu identifier comment ce gène contrôle la stabilité des champs d'activité des cellules de lieu de CA1 hippocampiques. Nos résultats montrent que les souris mutantes zif268 ont des cellules de lieu fonctionnelles, avec des paramètres de décharges comparables aux souris contrôles. Nous avons trouvé que la délétion de ce gène n'interfère pas avec la formation, ni avec le maintien à court terme (1h) d'une nouvelle représentation, mais affecte seulement son maintien à long terme (24h). Zif268 est donc nécessaire pour le maintien à long terme de la représentation spatiale. Ensuite, dans une tâche d'exploration d'objets, nous avons montré que les souris mutantes zif268 présentaient des déficits dans la détection d'un changement spatial, après la réactivation du contexte initial, ce qui suggère un rôle de zif268 dans la re-consolidation. Ensemble, ces résultats indiquent que zif268 est un élément clef de la voie de signalisation moléculaire responsable de la formation de souvenirs à long terme.