Texte remanié de: Diss.--Rechtswissenschaft--Johann-Wolfgang-Goethe Universität in Frankfurt am Main, 1994. / Bibliogr. p. 13-28. Notes bibliogr. Index.

La thèse porte sur la condition juridique de la noblesse du milieu du XVIe siècle au XVIIIe siècle. Cette recherche approfondie ne peut être menée à l’échelle nationale : la Gascogne orientale seule, c’est-à-dire la partie de cette province située dans le ressort du parlement de Toulouse, a fait l’objet d’investigations. Il est important de préciser ce qu’a représenté la noblesse dans la société d’Ancien-Régime : un modèle social, exerçant une forte attraction sur les couches sociales non nobles moyennes et supérieures. Elle bénéficiait d’un préjugé favorable, par le biais de représentations sociales et politiques lui accordant une considération particulière, malgré des critiques. Elle permettait aussi de jouir de nombreux privilèges, rendant la condition nobiliaire très favorable. Cette étude est l’occasion d’examiner la signification de la noblesse à l’époque moderne, tant à travers l’analyse de la conception de la noblesse véhiculée par les écrivains, et plus particulièrement les juristes, que l’étude des mentalités des nobles gascons. Sur cette base, notre recherche porte sur deux points principaux : la possession du statut noble, par l’acquisition et la perte de ce statut, et la preuve de la possession de ce statut, par la preuve de noblesse. L’acquisition de la noblesse passait par ce que l’on appelle les sources de la noblesse. La cessation de la noblesse pouvait être définitive ou temporaire. Le statut noble pouvait faire l’objet de contestations, face auxquelles il fallait prouver sa noblesse. Cette preuve connut de profondes transformations tant sur le fond que sur la forme. Prouver sa noblesse permit de faire face non seulement aux contestations, mais aussi d’accéder à des places réservées à la noblesse. Cette étude permet de délimiter les contours du second ordre, d’établir une frontière juridique, et d’appréhender une possible porosité avec le tiers-état. Ensuite, elle cherche à mieux comprendre la complexité des rapports entre le pouvoir royal et la noblesse, sa volonté d’abaisser la noblesse ou au contraire de la conserver. / The subject of my thesis is the legal condition of nobility between the 16th and 18th Centuries. In-depth research of this subject cannot be undertaken on a national level: only eastern Gascony has been studied, that is to say: that part of the province governed by the Toulouse Parliament. It is important to clarify exactly what the noble classes represented under the Ancien Régime: a social model that held strong attractions for the non-noble, middle and higher middle classes. Nobility benefited from social and political representation that gave them a particular esteem, in spite of critics. They also enjoyed numerous privileges. This study is also an occasion to examine the significance of nobility in modern times. On this basis, the legal examination rests on two main points: the possession of noble status, through its acquisition and loss, and the proof of possession of noble status by proof of nobility. This thesis allows second order limits to be defined, a legal frontier to be established and a possible porosity with the Third Estate to be apprehended. Equally, the study seeks a better understanding of the complexity of the relationship between the noble classes and royalty and whether the royal powers sought to preserve, or weaken them.

En élaborant le présent mémoire, nous avons cherché à mieux comprendre comment se développe la notion de preuve dans le cheminement d'apprentissage d'un élève du secondaire. Dans cette optique, nous avons d'abord fait le point sur notre propre expérience d'enseignement et sur nos réflexions personnelles, suscitées entre autres par deux expérimentations conduites par nous dans le cadre du cours d'Initiation à la recherche en didactique des mathématiques. Nous avons ensuite cherché à retracer quels objectifs des programmes du MEQ se rapportent à l'apprentissage de la preuve, et que suggèrent ces programmes pour que ces objectifs soient atteints. Nous avons pu constater que cet apprentissage y passe avant tout par l'étude de la géométrie. La lecture de deux articles de R. Thom et R. Bkouche nous a permis de mieux cerner les liens privilégiés entre géométrie et apprentissage de la preuve. Ceux-ci sont profonds, incontournables, entre autres parce que les concepts et raisonnements géométriques occupent une position charnière entre le « sensible » et le « formel ». Nous avons alors arrêté l'objet précis de notre étude : l'apprentissage de la preuve, tel que véhiculé par les problèmes de géométrie synthétique, dans une collection du secondaire. Dans le but d'élaborer une grille d'analyse, nous avons dégagé la notion de « schéma de bipolarisation » des réflexions sur la preuve d'É. Barbin, de G. Hanna, G. Brousseau, N. Balacheff et N. Rouche. À partir des schémas de bipolarisation suggérés par leurs travaux, nous avons édifié notre propre typologie des preuves et par suite, notre grille d'analyse des problèmes. Après une classification des problèmes de la collection à l'étude selon cette grille, nous avons interprété et analysé cette classification, pour conclure sur les aspects de l'apprentissage de la preuve que nous évaluons comme mal « gérés » dans la collection : transition non suffisamment graduelle du sensible au formel (très peu de problèmes qui sollicitent une validation hybride, niveau de formalisation trop longtemps stationnaire, rôle ambigu de la géométrie des transformations dans le processus de formalisation, etc.), prépondérance des applications directes et des déductions locales sur les séquences déductives, intérêt et mode de présentation des résultats qui ne favorisent pas une « attitude de preuve », etc.

Thèses (LL.M.)--Université de Sherbrooke (Canada), 1997. / Titre de l'écran-titre (visionné le 20 juin 2006). Publié aussi en version papier.

Thèse (LL.M.)--Université Laval, 1997. / Bibliogr.: f. 141-148. Publié aussi en version électronique.

Texte remanié de: Diss. S. J. D.--Law--Harvard law school, 1990. / Bibliogr. p. 243-286. Index.

Les developpements de specifications et des preuves formelles ont pris de l'ampleur durant les dernieres decennies, elabores au sein d'une diversite de canevas, de systemes et de communautes. Cependant l'heterogeneite de ces environnements gene quelques-unes des etapes fondamentales du processus de reflexion scientifique : le partage et la reutilisation des resultats. Cette dissertation propose une methode de distribution du meme developpement formel entre de divers systemes de preuve, augmentant ainsi eur interoperabilite. es chapitres 1 et 2 presentent le cadre logique qui est employe pour centraliser les specifications et les preuves formelles. Sa principale contribution est une ariation du λµ˜ µ-calcul conçu pour supporter le eveloppement interactif de preuves. Les chapitres 3 et 4 developpent les structures de recriture et categoriques necessaire a l'expression formelle de la semantique des langages de preuve. Base sur ces premiers resultats, le chapitre 5 utilise un systeme de types pour des langages de preuve pour asseoir un propriete de surete de typage, et le chapitre 6 expose une serie de traductions des developpements centralises dans d'autres cadres formels majeurs. Entre autres, le dernier contribue a une simplification des systemes de deduction a la Frege-Hilbert. En conclusion, les chapitres 7 et 8 s'interessent aux problemes resultant de l'implementation de notre systeme de developpement centralise de preuve. Ainsi, celui-ci decrit les details du logiciel cree, et celui-la fait la presentation d'une theorie de classes qui permet l'expression finie au premier ordre de schemas d'axiomes.

Diss.--Mathematik--München--Ludwig-Maximilians Universität, 2001. / Notes bibliogr. Bibliogr. 1 p. Index.

Reproduction de : Thèse de doctorat : informatique : Grenoble, INPG : 1989. / Titre provenant de l'écran-titre. Bibliogr. p. 177-185.

Thèse de doctorat : Informatique : Nancy 1 : 2007. / Titre provenant de l'écran-titre. Bibliogr. Index.