![Page 1: Thèse de doctorat en informatique...ii Résumé L OREM ipsum dolor sit amet, consectetuer adipiscing elit. Sed quis purus. Mauris iaculis ultrices risus. Donec arcu. Ut vitae metus](https://reader036.vdocuments.mx/reader036/viewer/2022081400/609ff9c8e1ef1251057e623b/html5/thumbnails/1.jpg)
THÈSE
COSMOLOGIE DES CHOUX BIGARRÉS
DU BIG BANG AU BLING BLING
Jacques DARROUIN
![Page 2: Thèse de doctorat en informatique...ii Résumé L OREM ipsum dolor sit amet, consectetuer adipiscing elit. Sed quis purus. Mauris iaculis ultrices risus. Donec arcu. Ut vitae metus](https://reader036.vdocuments.mx/reader036/viewer/2022081400/609ff9c8e1ef1251057e623b/html5/thumbnails/2.jpg)
![Page 3: Thèse de doctorat en informatique...ii Résumé L OREM ipsum dolor sit amet, consectetuer adipiscing elit. Sed quis purus. Mauris iaculis ultrices risus. Donec arcu. Ut vitae metus](https://reader036.vdocuments.mx/reader036/viewer/2022081400/609ff9c8e1ef1251057e623b/html5/thumbnails/3.jpg)
À qui de droit
![Page 4: Thèse de doctorat en informatique...ii Résumé L OREM ipsum dolor sit amet, consectetuer adipiscing elit. Sed quis purus. Mauris iaculis ultrices risus. Donec arcu. Ut vitae metus](https://reader036.vdocuments.mx/reader036/viewer/2022081400/609ff9c8e1ef1251057e623b/html5/thumbnails/4.jpg)
![Page 5: Thèse de doctorat en informatique...ii Résumé L OREM ipsum dolor sit amet, consectetuer adipiscing elit. Sed quis purus. Mauris iaculis ultrices risus. Donec arcu. Ut vitae metus](https://reader036.vdocuments.mx/reader036/viewer/2022081400/609ff9c8e1ef1251057e623b/html5/thumbnails/5.jpg)
Avant-propos
Remerciements
Merci a tous de m’avoir tant soutenu dans cette terrible épreuve qu’est la thèse
![Page 6: Thèse de doctorat en informatique...ii Résumé L OREM ipsum dolor sit amet, consectetuer adipiscing elit. Sed quis purus. Mauris iaculis ultrices risus. Donec arcu. Ut vitae metus](https://reader036.vdocuments.mx/reader036/viewer/2022081400/609ff9c8e1ef1251057e623b/html5/thumbnails/6.jpg)
ii
Résumé
LOREM ipsum dolor sit amet, consectetuer adipiscing elit. Sed quis purus. Maurisiaculis ultrices risus. Donec arcu. Ut vitae metus quis arcu molestie pretium. Mae-
cenas elit mi, porta nonummy, vestibulum et, dictum et, massa. Praesent eu nisl sit ameturna lacinia semper. Nunc sed tortor. Sed metus augue, aliquet eu, ultrices eu, tempuseu, elit. Mauris non nibh. Etiam commodo tincidunt justo. Ut lorem.
![Page 7: Thèse de doctorat en informatique...ii Résumé L OREM ipsum dolor sit amet, consectetuer adipiscing elit. Sed quis purus. Mauris iaculis ultrices risus. Donec arcu. Ut vitae metus](https://reader036.vdocuments.mx/reader036/viewer/2022081400/609ff9c8e1ef1251057e623b/html5/thumbnails/7.jpg)
iii
Notes
![Page 8: Thèse de doctorat en informatique...ii Résumé L OREM ipsum dolor sit amet, consectetuer adipiscing elit. Sed quis purus. Mauris iaculis ultrices risus. Donec arcu. Ut vitae metus](https://reader036.vdocuments.mx/reader036/viewer/2022081400/609ff9c8e1ef1251057e623b/html5/thumbnails/8.jpg)
![Page 9: Thèse de doctorat en informatique...ii Résumé L OREM ipsum dolor sit amet, consectetuer adipiscing elit. Sed quis purus. Mauris iaculis ultrices risus. Donec arcu. Ut vitae metus](https://reader036.vdocuments.mx/reader036/viewer/2022081400/609ff9c8e1ef1251057e623b/html5/thumbnails/9.jpg)
Table des matières
Avant-propos iRésumé . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . iiTable des matières . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . v
1 Introduction 1Problématique, objectifs et structure de la thèse
1.1 Au début était. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 31.2 Le sujet de l’étude . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 31.3 Motivations . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 31.4 Contributions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 31.5 Organisation du manuscrit . . . . . . . . . . . . . . . . . . . . . . . . . . . 3
2 Etat de l’art 5Travaux des autres : principes et formalisations
2.1 La cosmologie . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 72.2 Les choux . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 72.3 La bigarration . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 72.4 Synthèse . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7
3 Cadre formel 9Outils et méthodes théoriques utilisés
3.1 Critères . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 113.2 Logique des choux . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 113.3 Synthèse . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11
4 Proposition 13Le cœur de la proposition
4.1 Structuration générale . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 154.2 Synthèse . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 15
5 Application et résultats 17Ce que nous avons obtenu
![Page 10: Thèse de doctorat en informatique...ii Résumé L OREM ipsum dolor sit amet, consectetuer adipiscing elit. Sed quis purus. Mauris iaculis ultrices risus. Donec arcu. Ut vitae metus](https://reader036.vdocuments.mx/reader036/viewer/2022081400/609ff9c8e1ef1251057e623b/html5/thumbnails/10.jpg)
vi TABLE DES MATIÈRES
5.1 Application . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 195.2 Résultats . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 195.3 Synthèse . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 19
6 Conclusion 21Conclure et faire réver le lecteur
6.1 Synthèse . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 236.2 Discussion . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 236.3 Perspectives . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 23
A Préliminaires 25Une annexe
A.1 Logique des choux . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 27A.2 Modèle relationnel de la bigarration . . . . . . . . . . . . . . . . . . . . . 28
Bibliographie 29
![Page 11: Thèse de doctorat en informatique...ii Résumé L OREM ipsum dolor sit amet, consectetuer adipiscing elit. Sed quis purus. Mauris iaculis ultrices risus. Donec arcu. Ut vitae metus](https://reader036.vdocuments.mx/reader036/viewer/2022081400/609ff9c8e1ef1251057e623b/html5/thumbnails/11.jpg)
Table des figures
![Page 12: Thèse de doctorat en informatique...ii Résumé L OREM ipsum dolor sit amet, consectetuer adipiscing elit. Sed quis purus. Mauris iaculis ultrices risus. Donec arcu. Ut vitae metus](https://reader036.vdocuments.mx/reader036/viewer/2022081400/609ff9c8e1ef1251057e623b/html5/thumbnails/12.jpg)
![Page 13: Thèse de doctorat en informatique...ii Résumé L OREM ipsum dolor sit amet, consectetuer adipiscing elit. Sed quis purus. Mauris iaculis ultrices risus. Donec arcu. Ut vitae metus](https://reader036.vdocuments.mx/reader036/viewer/2022081400/609ff9c8e1ef1251057e623b/html5/thumbnails/13.jpg)
Liste des tableaux
![Page 14: Thèse de doctorat en informatique...ii Résumé L OREM ipsum dolor sit amet, consectetuer adipiscing elit. Sed quis purus. Mauris iaculis ultrices risus. Donec arcu. Ut vitae metus](https://reader036.vdocuments.mx/reader036/viewer/2022081400/609ff9c8e1ef1251057e623b/html5/thumbnails/14.jpg)
![Page 15: Thèse de doctorat en informatique...ii Résumé L OREM ipsum dolor sit amet, consectetuer adipiscing elit. Sed quis purus. Mauris iaculis ultrices risus. Donec arcu. Ut vitae metus](https://reader036.vdocuments.mx/reader036/viewer/2022081400/609ff9c8e1ef1251057e623b/html5/thumbnails/15.jpg)
Liste des définitions
![Page 16: Thèse de doctorat en informatique...ii Résumé L OREM ipsum dolor sit amet, consectetuer adipiscing elit. Sed quis purus. Mauris iaculis ultrices risus. Donec arcu. Ut vitae metus](https://reader036.vdocuments.mx/reader036/viewer/2022081400/609ff9c8e1ef1251057e623b/html5/thumbnails/16.jpg)
![Page 17: Thèse de doctorat en informatique...ii Résumé L OREM ipsum dolor sit amet, consectetuer adipiscing elit. Sed quis purus. Mauris iaculis ultrices risus. Donec arcu. Ut vitae metus](https://reader036.vdocuments.mx/reader036/viewer/2022081400/609ff9c8e1ef1251057e623b/html5/thumbnails/17.jpg)
Don’t rely on network safeguards and firewalls to protect your information.Look to your most vulnerable spot. You’ll usually find that vulnerability lies inyour people.
Kevin D. Mitnick – “The Art of Deception”, p.79
1Introduction
B En début de chaque chapitre nous proposons un résumé des principales contributions présentées.Sur la page suivant chaque résumé, une table des matières du chapitre est proposée.
Le présent chapitre est l’introduction de la thèse. Nous découvrons les problématiques de la sécuritéet du contrôle d’accès dans les systèmes d’information. Nous présentons également les objectifs, nosmotivations, nos principales contributions, le périmètre scientifique ainsi que la structure du manuscrit.C
![Page 18: Thèse de doctorat en informatique...ii Résumé L OREM ipsum dolor sit amet, consectetuer adipiscing elit. Sed quis purus. Mauris iaculis ultrices risus. Donec arcu. Ut vitae metus](https://reader036.vdocuments.mx/reader036/viewer/2022081400/609ff9c8e1ef1251057e623b/html5/thumbnails/18.jpg)
2 Chapitre 1. Introduction
Plan du chapitre1.1 Au début était. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3
1.2 Le sujet de l’étude . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3
1.3 Motivations . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3
1.4 Contributions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3
1.5 Organisation du manuscrit . . . . . . . . . . . . . . . . . . . . . . . . . 3
![Page 19: Thèse de doctorat en informatique...ii Résumé L OREM ipsum dolor sit amet, consectetuer adipiscing elit. Sed quis purus. Mauris iaculis ultrices risus. Donec arcu. Ut vitae metus](https://reader036.vdocuments.mx/reader036/viewer/2022081400/609ff9c8e1ef1251057e623b/html5/thumbnails/19.jpg)
Section 1.1. Au début était. . . 3
LE XXe siècle fut marqué
1.1 Au début était. . .
Lorem ipsum dolor sit amet, consectetuer adipiscing elit. Sed quis purus. Maurisiaculis ultrices risus. Donec arcu. Ut vitae metus quis arcu molestie pretium. Maecenaselit mi, porta nonummy, vestibulum et, dictum et, massa. Praesent eu nisl sit amet urnalacinia semper. Nunc sed tortor. Sed metus augue, aliquet eu, ultrices eu, tempus eu,elit. Mauris non nibh. Etiam commodo tincidunt justo. Ut lorem.
1.2 Le sujet de l’étude
Les choux bigradués
1.3 Motivations
Les choux bigradués sont au centre de l’univers
1.4 Contributions
Une cosmologie à base de choux : la potée universelle
1.5 Organisation du manuscrit
Ce manuscrit est bien organisé
![Page 20: Thèse de doctorat en informatique...ii Résumé L OREM ipsum dolor sit amet, consectetuer adipiscing elit. Sed quis purus. Mauris iaculis ultrices risus. Donec arcu. Ut vitae metus](https://reader036.vdocuments.mx/reader036/viewer/2022081400/609ff9c8e1ef1251057e623b/html5/thumbnails/20.jpg)
![Page 21: Thèse de doctorat en informatique...ii Résumé L OREM ipsum dolor sit amet, consectetuer adipiscing elit. Sed quis purus. Mauris iaculis ultrices risus. Donec arcu. Ut vitae metus](https://reader036.vdocuments.mx/reader036/viewer/2022081400/609ff9c8e1ef1251057e623b/html5/thumbnails/21.jpg)
(6) It is easier to move a problem around (for example, by moving the problemto a different part of the overall network architecture) than it is to solve it.(6a) (corollary). It is always possible to add another level of indirection.
Ross Callon – RFC1925, “The Twelve Networking Truths”
2Etat de l’art
B Ce chapitre commence par définir les notions dont on a besoin.
L’annexe A synthétise les symboles utilisés pour les définitions de ce chapitre. C
![Page 22: Thèse de doctorat en informatique...ii Résumé L OREM ipsum dolor sit amet, consectetuer adipiscing elit. Sed quis purus. Mauris iaculis ultrices risus. Donec arcu. Ut vitae metus](https://reader036.vdocuments.mx/reader036/viewer/2022081400/609ff9c8e1ef1251057e623b/html5/thumbnails/22.jpg)
6 Chapitre 2. Etat de l’art
Plan du chapitre2.1 La cosmologie . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7
2.2 Les choux . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7
2.3 La bigarration . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7
2.4 Synthèse . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7
![Page 23: Thèse de doctorat en informatique...ii Résumé L OREM ipsum dolor sit amet, consectetuer adipiscing elit. Sed quis purus. Mauris iaculis ultrices risus. Donec arcu. Ut vitae metus](https://reader036.vdocuments.mx/reader036/viewer/2022081400/609ff9c8e1ef1251057e623b/html5/thumbnails/23.jpg)
Section 2.1. La cosmologie 7
ON commence doucement
2.1 La cosmologie
Cosmologie : branche de l’astronomie qui étudie la structure d’ensemble et l’évolu-tion de l’Univers.
2.2 Les choux
Choux : plante crucifère dont les nombreuses variétés (chou cabus, chou deBruxelles, chou-fleur) sont cultivées pour l’alimentation.
2.3 La bigarration
Bigarrer : marquer de couleurs disparates et non harmonieuses
2.4 Synthèse
Synthèse de l’état de l’art et ouverture
![Page 24: Thèse de doctorat en informatique...ii Résumé L OREM ipsum dolor sit amet, consectetuer adipiscing elit. Sed quis purus. Mauris iaculis ultrices risus. Donec arcu. Ut vitae metus](https://reader036.vdocuments.mx/reader036/viewer/2022081400/609ff9c8e1ef1251057e623b/html5/thumbnails/24.jpg)
![Page 25: Thèse de doctorat en informatique...ii Résumé L OREM ipsum dolor sit amet, consectetuer adipiscing elit. Sed quis purus. Mauris iaculis ultrices risus. Donec arcu. Ut vitae metus](https://reader036.vdocuments.mx/reader036/viewer/2022081400/609ff9c8e1ef1251057e623b/html5/thumbnails/25.jpg)
Beware of bugs in the above code ; I have only proved it correct, not tried it.
Donald Knuth – “Notes on the van Emde Boas construction of prioritydeques : An instructive use of recursion”
3Cadre formel
B L’état de l’art a montré que . . . C
![Page 26: Thèse de doctorat en informatique...ii Résumé L OREM ipsum dolor sit amet, consectetuer adipiscing elit. Sed quis purus. Mauris iaculis ultrices risus. Donec arcu. Ut vitae metus](https://reader036.vdocuments.mx/reader036/viewer/2022081400/609ff9c8e1ef1251057e623b/html5/thumbnails/26.jpg)
10 Chapitre 3. Cadre formel
Plan du chapitre3.1 Critères . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11
3.2 Logique des choux . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11
3.3 Synthèse . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11
![Page 27: Thèse de doctorat en informatique...ii Résumé L OREM ipsum dolor sit amet, consectetuer adipiscing elit. Sed quis purus. Mauris iaculis ultrices risus. Donec arcu. Ut vitae metus](https://reader036.vdocuments.mx/reader036/viewer/2022081400/609ff9c8e1ef1251057e623b/html5/thumbnails/27.jpg)
Section 3.1. Critères 11
LE chapitre d’état de l’art a montré que
3.1 Critères
Lorem ipsum dolor sit amet, consectetuer adipiscing elit. Sed quis purus. Maurisiaculis ultrices risus. Donec arcu. Ut vitae metus quis arcu molestie pretium. Maecenaselit mi, porta nonummy, vestibulum et, dictum et, massa. Praesent eu nisl sit amet urnalacinia semper. Nunc sed tortor. Sed metus augue, aliquet eu, ultrices eu, tempus eu,elit. Mauris non nibh. Etiam commodo tincidunt justo. Ut lorem.
3.2 Logique des choux
Lorem ipsum dolor sit amet, consectetuer adipiscing elit. Sed quis purus. Maurisiaculis ultrices risus. Donec arcu. Ut vitae metus quis arcu molestie pretium. Maecenaselit mi, porta nonummy, vestibulum et, dictum et, massa. Praesent eu nisl sit amet urnalacinia semper. Nunc sed tortor. Sed metus augue, aliquet eu, ultrices eu, tempus eu,elit. Mauris non nibh. Etiam commodo tincidunt justo. Ut lorem.
3.3 Synthèse
Lorem ipsum dolor sit amet, consectetuer adipiscing elit. Sed quis purus. Maurisiaculis ultrices risus. Donec arcu. Ut vitae metus quis arcu molestie pretium. Maecenaselit mi, porta nonummy, vestibulum et, dictum et, massa. Praesent eu nisl sit amet urnalacinia semper. Nunc sed tortor. Sed metus augue, aliquet eu, ultrices eu, tempus eu,elit. Mauris non nibh. Etiam commodo tincidunt justo. Ut lorem.
![Page 28: Thèse de doctorat en informatique...ii Résumé L OREM ipsum dolor sit amet, consectetuer adipiscing elit. Sed quis purus. Mauris iaculis ultrices risus. Donec arcu. Ut vitae metus](https://reader036.vdocuments.mx/reader036/viewer/2022081400/609ff9c8e1ef1251057e623b/html5/thumbnails/28.jpg)
![Page 29: Thèse de doctorat en informatique...ii Résumé L OREM ipsum dolor sit amet, consectetuer adipiscing elit. Sed quis purus. Mauris iaculis ultrices risus. Donec arcu. Ut vitae metus](https://reader036.vdocuments.mx/reader036/viewer/2022081400/609ff9c8e1ef1251057e623b/html5/thumbnails/29.jpg)
When in doubt, use brute force.
Butler Lampson, 1984 - “Hints for Computer System Design”
4Proposition
B
Le chapitre précédent a présenté . . .
C
![Page 30: Thèse de doctorat en informatique...ii Résumé L OREM ipsum dolor sit amet, consectetuer adipiscing elit. Sed quis purus. Mauris iaculis ultrices risus. Donec arcu. Ut vitae metus](https://reader036.vdocuments.mx/reader036/viewer/2022081400/609ff9c8e1ef1251057e623b/html5/thumbnails/30.jpg)
14 Chapitre 4. Proposition
Plan du chapitre4.1 Structuration générale . . . . . . . . . . . . . . . . . . . . . . . . . . . . 15
4.2 Synthèse . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 15
![Page 31: Thèse de doctorat en informatique...ii Résumé L OREM ipsum dolor sit amet, consectetuer adipiscing elit. Sed quis purus. Mauris iaculis ultrices risus. Donec arcu. Ut vitae metus](https://reader036.vdocuments.mx/reader036/viewer/2022081400/609ff9c8e1ef1251057e623b/html5/thumbnails/31.jpg)
Section 4.1. Structuration générale 15
LE chapitre précédent
4.1 Structuration générale
En gros
4.2 Synthèse
Ce chapitre propose une généralisation
![Page 32: Thèse de doctorat en informatique...ii Résumé L OREM ipsum dolor sit amet, consectetuer adipiscing elit. Sed quis purus. Mauris iaculis ultrices risus. Donec arcu. Ut vitae metus](https://reader036.vdocuments.mx/reader036/viewer/2022081400/609ff9c8e1ef1251057e623b/html5/thumbnails/32.jpg)
![Page 33: Thèse de doctorat en informatique...ii Résumé L OREM ipsum dolor sit amet, consectetuer adipiscing elit. Sed quis purus. Mauris iaculis ultrices risus. Donec arcu. Ut vitae metus](https://reader036.vdocuments.mx/reader036/viewer/2022081400/609ff9c8e1ef1251057e623b/html5/thumbnails/33.jpg)
When the only tool you have is a hammer, everything begins to look like a nail.
Anonymous
5Application et résultats
B In hac habitasse platea dictumst. Pellentesque habitant morbi tristique senectus et netus et male-suada fames ac turpis egestas. Phasellus quis elit eget turpis dapibus consectetuer. Proin dignissim velitvel nisi. Suspendisse potenti. Lorem ipsum dolor sit amet, consectetuer adipiscing elit. Ut lorem. Vesti-bulum nec turpis non ligula fringilla ornare. Vestibulum ante ipsum primis in faucibus orci luctus etultrices posuere cubilia Curae ; Nulla vel elit. Ut id justo. Vivamus elementum. Sed interdum dui necleo. Cras mollis quam nec ipsum. Nunc libero lectus, venenatis eu, gravida sit amet, semper posuere, nisl.Quisque eu elit. Ut nibh nulla, mollis eu, aliquet ac, facilisis in, nisl. Mauris interdum vestibulum odio.C
![Page 34: Thèse de doctorat en informatique...ii Résumé L OREM ipsum dolor sit amet, consectetuer adipiscing elit. Sed quis purus. Mauris iaculis ultrices risus. Donec arcu. Ut vitae metus](https://reader036.vdocuments.mx/reader036/viewer/2022081400/609ff9c8e1ef1251057e623b/html5/thumbnails/34.jpg)
18 Chapitre 5. Application et résultats
Plan du chapitre5.1 Application . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 19
5.2 Résultats . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 19
5.3 Synthèse . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 19
![Page 35: Thèse de doctorat en informatique...ii Résumé L OREM ipsum dolor sit amet, consectetuer adipiscing elit. Sed quis purus. Mauris iaculis ultrices risus. Donec arcu. Ut vitae metus](https://reader036.vdocuments.mx/reader036/viewer/2022081400/609ff9c8e1ef1251057e623b/html5/thumbnails/35.jpg)
Section 5.1. Application 19
LA thèse blabla
5.1 Application
Aliquam vel sapien ut nulla vulputate vestibulum. Suspendisse potenti. Proin da-pibus ligula in eros posuere sagittis. Aliquam orci. Etiam vehicula. Quisque lobortismagna et ipsum. Suspendisse dignissim. Maecenas urna massa, vestibulum molestie,adipiscing sit amet, mollis quis, erat. Ut sollicitudin lobortis lectus. Cras suscipit ru-trum elit. Cras sollicitudin, pede sed hendrerit molestie, purus metus vehicula nulla,sed varius elit pede vitae dolor. Pellentesque dolor lectus, hendrerit a, viverra sit amet,commodo nec, erat. Quisque vestibulum consequat odio. Duis placerat dui malesuadaaugue semper rutrum. Proin pharetra tempus purus. Suspendisse cursus dolor non mitempus laoreet. Aenean leo pede, pellentesque ac, suscipit eu, fringilla eu, metus.
5.2 Résultats
Aliquam vel sapien ut nulla vulputate vestibulum. Suspendisse potenti. Proin da-pibus ligula in eros posuere sagittis. Aliquam orci. Etiam vehicula. Quisque lobortismagna et ipsum. Suspendisse dignissim. Maecenas urna massa, vestibulum molestie,adipiscing sit amet, mollis quis, erat. Ut sollicitudin lobortis lectus. Cras suscipit ru-trum elit. Cras sollicitudin, pede sed hendrerit molestie, purus metus vehicula nulla,sed varius elit pede vitae dolor. Pellentesque dolor lectus, hendrerit a, viverra sit amet,commodo nec, erat. Quisque vestibulum consequat odio. Duis placerat dui malesuadaaugue semper rutrum. Proin pharetra tempus purus. Suspendisse cursus dolor non mitempus laoreet. Aenean leo pede, pellentesque ac, suscipit eu, fringilla eu, metus.
5.3 Synthèse
Aliquam vel sapien ut nulla vulputate vestibulum. Suspendisse potenti. Proin da-pibus ligula in eros posuere sagittis. Aliquam orci. Etiam vehicula. Quisque lobortismagna et ipsum. Suspendisse dignissim. Maecenas urna massa, vestibulum molestie,adipiscing sit amet, mollis quis, erat. Ut sollicitudin lobortis lectus. Cras suscipit ru-trum elit. Cras sollicitudin, pede sed hendrerit molestie, purus metus vehicula nulla,sed varius elit pede vitae dolor. Pellentesque dolor lectus, hendrerit a, viverra sit amet,commodo nec, erat. Quisque vestibulum consequat odio. Duis placerat dui malesuadaaugue semper rutrum. Proin pharetra tempus purus. Suspendisse cursus dolor non mitempus laoreet. Aenean leo pede, pellentesque ac, suscipit eu, fringilla eu, metus.
![Page 36: Thèse de doctorat en informatique...ii Résumé L OREM ipsum dolor sit amet, consectetuer adipiscing elit. Sed quis purus. Mauris iaculis ultrices risus. Donec arcu. Ut vitae metus](https://reader036.vdocuments.mx/reader036/viewer/2022081400/609ff9c8e1ef1251057e623b/html5/thumbnails/36.jpg)
![Page 37: Thèse de doctorat en informatique...ii Résumé L OREM ipsum dolor sit amet, consectetuer adipiscing elit. Sed quis purus. Mauris iaculis ultrices risus. Donec arcu. Ut vitae metus](https://reader036.vdocuments.mx/reader036/viewer/2022081400/609ff9c8e1ef1251057e623b/html5/thumbnails/37.jpg)
Object-oriented programming is an exceptionally bad idea which could onlyhave originated in California.
Edsger Dijkstra
6Conclusion
B Conclusion, dicussion et perspectives C
![Page 38: Thèse de doctorat en informatique...ii Résumé L OREM ipsum dolor sit amet, consectetuer adipiscing elit. Sed quis purus. Mauris iaculis ultrices risus. Donec arcu. Ut vitae metus](https://reader036.vdocuments.mx/reader036/viewer/2022081400/609ff9c8e1ef1251057e623b/html5/thumbnails/38.jpg)
22 Chapitre 6. Conclusion
Plan du chapitre6.1 Synthèse . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 23
6.2 Discussion . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 23
6.3 Perspectives . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 23
![Page 39: Thèse de doctorat en informatique...ii Résumé L OREM ipsum dolor sit amet, consectetuer adipiscing elit. Sed quis purus. Mauris iaculis ultrices risus. Donec arcu. Ut vitae metus](https://reader036.vdocuments.mx/reader036/viewer/2022081400/609ff9c8e1ef1251057e623b/html5/thumbnails/39.jpg)
Section 6.1. Synthèse 23
LA thèse
6.1 Synthèse
Lorem ipsum dolor sit amet, consectetuer adipiscing elit. Sed quis purus. Maurisiaculis ultrices risus. Donec arcu. Ut vitae metus quis arcu molestie pretium. Maecenaselit mi, porta nonummy, vestibulum et, dictum et, massa. Praesent eu nisl sit amet urnalacinia semper. Nunc sed tortor. Sed metus augue, aliquet eu, ultrices eu, tempus eu,elit. Mauris non nibh. Etiam commodo tincidunt justo. Ut lorem.
6.2 Discussion
Lorem ipsum dolor sit amet, consectetuer adipiscing elit. Sed quis purus. Maurisiaculis ultrices risus. Donec arcu. Ut vitae metus quis arcu molestie pretium. Maecenaselit mi, porta nonummy, vestibulum et, dictum et, massa. Praesent eu nisl sit amet urnalacinia semper. Nunc sed tortor. Sed metus augue, aliquet eu, ultrices eu, tempus eu,elit. Mauris non nibh. Etiam commodo tincidunt justo. Ut lorem.
6.3 Perspectives
Lorem ipsum dolor sit amet, consectetuer adipiscing elit. Sed quis purus. Maurisiaculis ultrices risus. Donec arcu. Ut vitae metus quis arcu molestie pretium. Maecenaselit mi, porta nonummy, vestibulum et, dictum et, massa. Praesent eu nisl sit amet urnalacinia semper. Nunc sed tortor. Sed metus augue, aliquet eu, ultrices eu, tempus eu,elit. Mauris non nibh. Etiam commodo tincidunt justo. Ut lorem.
![Page 40: Thèse de doctorat en informatique...ii Résumé L OREM ipsum dolor sit amet, consectetuer adipiscing elit. Sed quis purus. Mauris iaculis ultrices risus. Donec arcu. Ut vitae metus](https://reader036.vdocuments.mx/reader036/viewer/2022081400/609ff9c8e1ef1251057e623b/html5/thumbnails/40.jpg)
![Page 41: Thèse de doctorat en informatique...ii Résumé L OREM ipsum dolor sit amet, consectetuer adipiscing elit. Sed quis purus. Mauris iaculis ultrices risus. Donec arcu. Ut vitae metus](https://reader036.vdocuments.mx/reader036/viewer/2022081400/609ff9c8e1ef1251057e623b/html5/thumbnails/41.jpg)
The grand aim of all science is to cover the greatest number of empirical factsby logical deduction from the smallest number of hypotheses or axioms.
Albert Einstein
APréliminaires
B
Cette super annexe est pompée de [Abiteboul95].
C
![Page 42: Thèse de doctorat en informatique...ii Résumé L OREM ipsum dolor sit amet, consectetuer adipiscing elit. Sed quis purus. Mauris iaculis ultrices risus. Donec arcu. Ut vitae metus](https://reader036.vdocuments.mx/reader036/viewer/2022081400/609ff9c8e1ef1251057e623b/html5/thumbnails/42.jpg)
26 Annexe A. Préliminaires
Plan du chapitreA.1 Logique des choux . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 27
A.2 Modèle relationnel de la bigarration . . . . . . . . . . . . . . . . . . . . 28
![Page 43: Thèse de doctorat en informatique...ii Résumé L OREM ipsum dolor sit amet, consectetuer adipiscing elit. Sed quis purus. Mauris iaculis ultrices risus. Donec arcu. Ut vitae metus](https://reader036.vdocuments.mx/reader036/viewer/2022081400/609ff9c8e1ef1251057e623b/html5/thumbnails/43.jpg)
Section A.1. Logique des choux 27
L’ objectif de la logique mathématique est d’étudier le raisonnement et en particulierla vérité des propositions exprimées dans le langage des mathématiques. C’est un
langage formel qui permet la représentation de relations entre objets et la déductionde nouvelles relations à partir de relations connues comme vraies. La logique est utile,car c’est un cadre commun pour exprimer et définir formellement les fondements desbases de données.
A.1 Logique des choux
![Page 44: Thèse de doctorat en informatique...ii Résumé L OREM ipsum dolor sit amet, consectetuer adipiscing elit. Sed quis purus. Mauris iaculis ultrices risus. Donec arcu. Ut vitae metus](https://reader036.vdocuments.mx/reader036/viewer/2022081400/609ff9c8e1ef1251057e623b/html5/thumbnails/44.jpg)
28 Annexe A. Préliminaires
A.2 Modèle relationnel de la bigarration
Le concept mathématique sous-jacent au modèle relationnel est celui de relationdans la théorie des ensembles, c’est-à-dire un sous-ensemble du produit cartésien dedomaines.
![Page 45: Thèse de doctorat en informatique...ii Résumé L OREM ipsum dolor sit amet, consectetuer adipiscing elit. Sed quis purus. Mauris iaculis ultrices risus. Donec arcu. Ut vitae metus](https://reader036.vdocuments.mx/reader036/viewer/2022081400/609ff9c8e1ef1251057e623b/html5/thumbnails/45.jpg)
Bibliographie
[Abiteboul95] Serge Abiteboul, Richard Hull & Victor Vianu. Foundations of data-bases. Addison-Wesley, Boston, 1995. 25