L'étude réalisée montre un décalage important entre la preuve en mathématiques et la preuve telle qu'elle vit en classe, surtout au collège : actuellement la transposition didactique dénature son sens, réduisant son apprentissage à celui de savoir faire des exercices d'écriture formelle. Il s'avère nécessaire de changer les pratiques, pour que la preuve soit enseignée de manière plus satisfaisante sur les plans épistémologique et didactique. Nous montrons qu'il est pertinent, et possible, d'amorcer ce changement par un travail sur les conceptions des enseignants. Pour cela nous proposons une ingénierie de formation fondée sur trois problèmes : tout d'abord est montré le rapport existant des élèves à la preuve ; ensuite, les enseignants, mis en situation de recherche de problèmes, produisent des preuves. Les résultats obtenus à partir des problèmes choisis permettent à la fois de préciser le rapport des enseignants à la preuve et d'amorcer avec eux une réflexion sur leurs pratiques.

L'actine est une protéine très abondante dans les cellules eucaryotes, c'est un biopolymère qui s'assemble en filaments semiflexibles. La cellule contrôle au travers de protéines spécifiques (Actin Binding Proteins) la dynamique d'assemblage (et de désassemblage) des filaments d'actine, ainsi que l'arrangement de ces filaments en réseaux tridimensionnels. Les réseaux ainsi formés peuvent avoir des structures très variées, allant d'un arrangement en forme de câble où les filaments d'actine sont parallèles entre eux, jusqu'à une structure plus désordonnée en gel dans laquelle les filaments forment un réseau très interconnecté. Ces diverses organisations de l'actine lui permettent de jouer des rôles très divers au sein de la cellule. Parmi ces roles, l'un des plus remarquable est celui qu'elle tient dans la genèse de la morphologie de la cellule. En effet, aux bords de la membrane cellulaire, un réseau d'actine forme une partie du cytosquelette de la cellule et contribue à ce titre au maintient de sa forme. Pour se mettre en mouvement, la cellule doit acquérir une polarité, cela nécessite des restructurations importantes du cytosquelette. Au niveau de la membrane cellulaire, des protéines activent localement la polymérisation de l'actine, ce qui va contribuer à la déformation de la membrane et ainsi au mouvement de la cellule. Nous nous sommes intéressés au cours de cette thèse aux contraintes mécaniques qu'un gel d'actine peut produire. Pour cela nous avons mis au point un système biomimétique constitué d'une goutte d'huile microscopique dont on recouvre la surface avec une protéine qui active la polymérisation de l'actine, comme celles que l'on trouve au niveau de la membrane cellulaire. Lorsque l'on met une telle goutte dans des extraits cellulaires, on observe la croissance d'un gel d'actine autour de la goutte. L'actine finie par former une comète qui propulse la goutte. L'aspect "mou" de la goutte d'huile fait que cette dernière se déforme sous l'action des contraintes qu'exerce le gel l'actine et prend une forme en poire. L'observation de la déformation de la goutte nous renseigne sur l'amplitude et la répartition des contraintes développées par l'actine. Un second aspect de notre travail fut de modifier les propriétés élastiques du gel d'actine formé. Pour ce faire, nous avons ajouté dans les extraits cellulaires une protéine qui réticule les filaments d'actines entre eux. Les résultats que nous avons obtenus sont présentés dans ce manuscrit.

Le sujet principal de cette thèse est l'étude de la contrôlabilité exacte de deux équations dispersives, l'équation de Korteweg-de Vries et la "bonne" équation de Boussinesq. En ce qui concerne l'équation de Korteweg-de Vrie, on étend un résultat de Rosier en montrant la contrôlabilité exacte en tout temps de l'équation non linéaire autour d'une solution stationnaire proche de zéro mais non nulle, ce pour des longueurs de domaine spatial critiques. Cette démonstration utilise en particulier la méthode d'unicité hilbertienne couplée avec la méthode des multiplicateurs et un théorème de point fixe. Ensuite, nous étudions le problème de la contrôlabilité exacte de l'équation de Boussinesq pour deux contrôles différents. On utilise également la méthode d'unicité hilbertienne pour ces problèmes en appliquant une inégalité de Ingham. On obtient ainsi un résultat de contrôlabilité exacte pour des temps arbitrairement petits. Nous implémentons ensuite cette méthode de facon numérique pour l'équation de Boussinesq avec un contrôle portant sur la dérivée seconde a droite, tant sur le problème linéaire que non linéaire.

De nos jours, le nombre de langages de modélisation ne cesse d'augmenter en raison de différentes exigences et contextes (par exemple les langages spécifiques au domaine). Pour être utilisés, ces langages ont besoin d'outils pour réaliser différentes fonctionnalités comme l'édition, la transformation, la validation et l'exécution de modèles conformes à ces langages. La construction de ces outils est un enjeu et un objectif important aussi bien dans la communauté du génie logiciel que celle des Systèmes d'Information. C'est une tâche non-triviale qui fait appel à des approches différentes parmi lesquelles l'utilisation des environnements méta-CASE et des langages de méta-programmation. Par rapport à une approche ad-hoc, les méta-CASE définissent un support outillé et une démarche basée sur la méta-modélisation. Ils apportent des améliorations significatives à la problématique de construction d'outils. Néanmoins, des limitations majeures persistent, notamment pour les langages de modélisation des processus, à cause de la complexité de l'expression de la sémantique opérationnelle d'un modèle de processus et la capture de la logique d'exécution de celui-ci. La construction de ces outils selon une approche ad-hoc engendre un coût élevé, des risques d'erreurs et des problèmes de maintenabilité et de portabilité. En outre, un outil d'exécution de modèle doit satisfaire un critère d'interactivité avec son environnement d'exécution. Cet aspect n'est pas suffisamment pris en compte dans les travaux de recherche actuels sur la spécification des langages de modélisation. Pour répondre à cette problématique, nous proposons dans cette thèse une démarche dirigée par les modèles qui permet de dériver l'architecture d'un moteur d'exécution à partir de la spécification conceptuelle d'un langage de modélisation de processus. Cette spécification repose sur une méta-modélisation élargie qui intègre l'expression de la sémantique d'exécution d'un méta-modèle de processus. Elle est composée, d'une part, d'une structure à deux niveaux d'abstraction qui permet de représenter de manière générique les modèles à exécuter et les instances générées lors de leur exécution. D'autre part, cette spécification est complétée par une représentation déclarative et graphique du comportement du méta-modèle de processus. Pour cette représentation, nous avons choisi un formalisme orienté événement qui reflète la vision systémique et les différentes interactions du modèle de processus avec son environnement. Finalement, afin d'exploiter la sémantique d'exécution, nous proposons des règles de transformation permettant de dériver l'architecture technique d'un outil d'exécution sous une forme standard pour pouvoir l'implémenter dans un environnement de génération de code existant, le code généré correspondra à l'outil d'exécution souhaité. La démarche proposée a été appliquée dans le cas d'un modèle de processus intentionnel appelé Map. Cette application a permis d'explorer la faisabilité de la proposition et d'évaluer la qualité de la spécification de l'outil d'exécution obtenue par rapport aux exigences fixées. La pertinence de notre proposition est qu'elle permet de guider l'ingénieur dans le processus de spécification et de construction d'un outil d'exécution tout en minimisant l'effort de programmation. De plus, en appliquant les étapes de la démarche proposée, nous sommes en mesure de fournir un outil d'exécution d'une certaine qualité ; à savoir un outil interagissant avec son environnement, facilement maintenable et à moindre coût.

"Comment, dans son essai Pour Sganarelle, Romain Gary parvient-il à élaborer son concept de roman total et quelles sont les conditions de son existence? La déconstruction, telle qu'énoncée par le philosophe Jacques Derrida, permet de formuler l'hypothèse selon laquelle le romancier parvient à ce résultat à partir de certains a priori qui relèvent d'une métaphysique de la fiction ou d'une métaphysique de l'absence. En retrouvant les motifs et les stratégies argumentatives de l'auteur, il est possible d'interroger les aspects suivants : la métaphorisation qui sous-tend l'essai; la réaction violente contre l'annonce de la mort du personnage par Alain Robbe-Grillet; l'opposition entre le roman total, construit sur les bases du roman picaresque, et le roman totalitaire qu'est censé représenter le Nouveau Roman; le renversement du rapport logique entre la réalité et la fiction; enfin, l'annonce de la venue d'un nouvel homme émergeant d'un vaste "Océan" culturel."

Ce mémoire de maîtrise permet d'approfondir les connaissances sur la perception de participants masculins à un groupe de soutien pour endeuillés à la suite du suicide d'un proche. Il s'inscrit dans une perspective qualitative. Sept hommes ayant participé à un groupe de soutien offert par trois établissements québécois ont accepté de se soumettre à une entrevue individuelle. La stratégie d'analyse retenue est une analyse de contenu mixte. Les résultats permettent de saisir les motivations des hommes endeuillés à la suite du suicide à participer à un groupe de soutien, leur mode de participation au groupe, leur point de vue sur le groupe, ce qui a été profitable ou non dans l'intervention de même que quelques recommandations de la part des participants pour améliorer l'intervention

L’arrivée d’un enfant implique des changements financiers, sociaux et professionnels, en plus de représenter un bouleversement important au plan de l’identité personnelle et de la dynamique conjugale des parents. La transition familiale apparait aussi liée à un déclin quant au niveau de satisfaction conjugale de ces derniers. Certaines vulnérabilités psychologiques peuvent contribuer à rendre l’arrivée d’un enfant plus anxiogène et affecter l’ajustement conjugal et parental. Cette thèse vérifie la présence de liens entre des vulnérabilités psychologiques (anxiété d’abandon, évitement de l’intimité, intolérance à l’incertitude, perfectionnisme) et l’ajustement conjugal (satisfaction conjugale) et parental (niveau de stress parental et alliance parentale) des pères et des mères dans le contexte de l’arrivée d’un enfant. Des parents hétérosexuels québécois âgés de plus de 18 ans ont rempli des questionnaires évaluant les variables de vulnérabilité et d’ajustement. Des analyses de régression multiple hiérarchique montrent qu’en contrôlant pour les symptômes anxio-dépressifs et des facteurs sociodémographiques, l’évitement de l’intimité est un facteur explicatif des difficultés d’ajustement conjugal et parental à l’arrivée d’un enfant, tant chez les hommes que chez les femmes. Le stress parental est expliqué par l’anxiété d’abandon chez les hommes et les femmes, ainsi que par l’intolérance à l’incertitude et le perfectionnisme mésajusté chez les femmes seulement. L’étude permet de cibler certaines variables pertinentes à considérer pour comprendre les difficultés d’ajustement à l’arrivée d’un enfant, ce qui peut faciliter l’identification des couples plus à risque de vivre des difficultés d’ajustement significatives lors de cette transition, en plus d’offrir de nouvelles pistes d’intervention.

Chez le bovin laitier, la mammite est la maladie la plus importante pour l'économie agroalimentaire du secteur laitier et entraîne les plus grandes pertes pour le producteur. Depuis plusieurs décennies, les pressions génétiques visant l'amélioration des traits favorisant la production laitière, mesurée par l'augmentation du rendement (quantité et pourcentage) de lait, protéine et gras du lait, ont eu un effet délétère sur la santé de la vache. Prévenir cette maladie devient une priorité pour les producteurs. On vise à réduire l'usage d'antibiotiques et contenir l'émergence de pathogènes résistants. Afin de renverser la tendance actuelle, l'approche proposée est d'améliorer le système immunitaire des vaches par une sélection génétique favorable au renforcissement de celui-ci. L'objectif du projet consiste à identifier des gènes impliqués dans la réponse immunitaire innée de la vache laitière et qui contribueraient à développer une offensive face aux insultes pathogéniques causant la mammite. Un modèle d'infection in vivo a été créé par l'infusion d' Escherichia coli dans des quartiers de glandes mammaires de vaches saines. Des banques de gènes transcrits ont été créées à partir de l'ARNm des cellules du lait récoltées en début d'infection (cinq heures suivant l'introduction des pathogènes). L'analyse des banques a révélé la présence d'un gène connu pour activer les lymphocytes T, 1'ostéopontine ( SPP1 ). L'induction de ce gène fut confirmée lors d'essais d'infection ex vivo avec Escherichia coli sur des cellules sanguines de vaches saines. Comme SPP1 est une cytokine produite tôt par les macrophages lors d'une infection bactérienne, elle pourrait avoir un impact important sur les défenses contre la mammite. Afin d'identifier des variants génétiques de SPP1 , la recherche de polymorphismes de nucléotides fut réalisée en comparant les séquences d'ADN génomique de deux groupes de taureaux de race Holstein présentant des valeurs d'élevage estimées (VÉE) extrêmes selon une cote attribuée aux cellules somatiques (CCS) du lait. Le séquençage de la région promotrice et des sept exons du gène a permis d'identifier quatre polymorphismes d'un seul nucléotide (SNP), soit SPP1c.-1301G>A, SPP1c.-1251C>T, SPP1c.-430G>A et SPP1c.*41A>C . Pour confirmer l'association de ces SNP dans la population Holstein, un plus grand nombre de taureaux furent génotypés et les haplotypes, déterminés. L'analyse statistique de l'association des VÉE pour la CCS à différentes lactations avec les quatre SNP et haplotypes présents dans la population a confirmé leur impact sur la CCS. L'étude a également porté sur les VÉE de certains autres critères de performance (e.g. pourcentages de gras et protéines du lait) qui seront aussi utiles aux producteurs laitiers afin d'évaluer l'impact de ces SNP sur la production laitière. Certains SNP et leur localisation (promoteur, région 3' UTR) potentialisent l'impact génétique sur la VÉE pour la CCS. Comme cette dernière est en lien avec la mammite, certains SNP pourraient influencer la résistance à cette maladie. Aussi, les SNP découverts dans la région promotrice de SPP1 sont localisés au site de reconnaissance de certains facteurs de transcription. Ils pourraient avoir un impact sur la liaison de ceux-ci à leur séquence consensus; ceci amènerait des effets sur la différenciation des lymphocytes T vers les voies de l'immunité cellulaire (Th1) et acquise (Th2). De cette manière, la réponse immunitaire serait modifiée et SPP1 pourrait effectivement influencer la résistance à la mammite.

Cette thèse est une étude les surfaces de type général dont le fibré cotangent est engendré par ses sections globales et d'irrégularité \( q \) supérieure au égale à \( 4 \). \\ L'application cotangente est l'objet et le moyen de cet étude. C'est un morphisme du projectivisé du fibré tangent dans l'espace projectif de dimension \( q-1 \). Nous étudions l'image ce morphisme et son degré. Le fibré cotangent de la surface est ample si et seulement si il n'existe pas de fibres de l'application cotangente de dimension strictement positive. \\ Si le fibré cotangent n'est pas ample, alors il existe une courbe \( C \) contenue dans la surface et il existe une section de \( C \) dans le projectivisé du fibré tangent qui est contractée en un point par l'application cotangente. Une telle courbe \( C \) est qualifiée de courbe non-ample.\\ Nous donnons une classification des courbes non-amples suivant leur auto-intersection. {\selectlanguage{english}}Nous donnons ensuite une classification (partielle) des surfaces possédant une infinité de courbes non-amples. {\selectlanguage{english}} Un exemple pour lequel l'application cotangente intervient naturellement est celui des surfaces de Fano. Nous étudions le diviseur de ramification de leur application cotangente ainsi que leurs courbes non-amples. \\ Cette étude nous mène à la surface de Fano de la cubique de Fermat qui possède \( 30 \) courbes non-amples et dont nous détaillons les propriétés.

Dans une première partie, on étudie quelques problèmes d'arrêt optimal de la forme <br /> <br /> $sup_{\tau\in \Delta, \tau\geq 0} \esp_v\left[g(V_{\tau})\right] \hbox{~ou}~<br /> sup_{\tau\in \Delta, \tau\geq 0} \esp_v\left[e^{-r\tau}\bar{g}(V_{\tau})\right],$<br /> où $V$ est un processus stochastique, $g$ et $\bar{g}$ deux fonctions boréliennes, $r>0$ et $\Delta$ est l'ensemble des $\F^V$-temps d'arrêt ($\F_.^V$ étant la filtration engendrée par le processus $V$). <br /> L'étude de ces problèmes est motivée par les applications dans plusieurs domaines comme la finance, l'économie ou la médecine.<br /> <br />La première partie est une mise en évidence du fait que le plus petit temps d'arrêt optimal est parfois un temps d'atteinte. C'est pourquoi, dans la deuxième partie de la thèse, on s'intéresse à la loi d'un temps d'atteinte d'un processus de Lévy à sauts ainsi qu'à quelques applications à la finance, plus précisément lors du calcul de l'intensité de ce temps d'arrêt associée à une certaine filtration $\F$. Deux cas sont présentés : quand le temps d'arrêt est un $\F$-temps d'arrêt et quand il ne l'est pas.