darcs, utilisation et questions ouvertes
|
|
|
- Vivien Larocque
- il y a 6 ans
- Total affichages :
Transcription
1 darcs, utilisation et questions ouvertes Florent Becker LIFO & Darcs Team Séminaire LIFO Florent Becker (LIFO & Darcs Team) darcs, utilisation et questions ouvertes LIFO 1 / 27
2 Plan 1 Comment on s en sert 2 Comment ca marche? 3 Où ça va? extra Meilleurs Lendemains La paix dans le monde Florent Becker (LIFO & Darcs Team) darcs, utilisation et questions ouvertes LIFO 2 / 27
3 1 Comment on s en sert 2 Comment ca marche? 3 Où ça va? extra Meilleurs Lendemains La paix dans le monde Florent Becker (LIFO & Darcs Team) darcs, utilisation et questions ouvertes LIFO 3 / 27
4 Qu est-ce que c est? Florent Becker (LIFO & Darcs Team) darcs, utilisation et questions ouvertes LIFO 4 / 27
5 Qu est-ce que c est? Gestion de Versions : Florent Becker (LIFO & Darcs Team) darcs, utilisation et questions ouvertes LIFO 4 / 27
6 Qu est-ce que c est? Gestion de Versions : Alice et Bob travaillent sur un fichier ensemble, comment synchroniser leur travail? Florent Becker (LIFO & Darcs Team) darcs, utilisation et questions ouvertes LIFO 4 / 27
7 Qu est-ce que c est? Gestion de Versions : Alice et Bob travaillent sur un fichier ensemble, comment synchroniser leur travail? Quand Zbigniew arrive, le système tient-il? Florent Becker (LIFO & Darcs Team) darcs, utilisation et questions ouvertes LIFO 4 / 27
8 Qu est-ce que c est? Gestion de Versions : Alice et Bob travaillent sur un fichier ensemble, comment synchroniser leur travail? Quand Zbigniew arrive, le système tient-il? Mises à jour concurrentes Florent Becker (LIFO & Darcs Team) darcs, utilisation et questions ouvertes LIFO 4 / 27
9 Qu est-ce que c est? Gestion de Versions : Alice et Bob travaillent sur un fichier ensemble, comment synchroniser leur travail? Quand Zbigniew arrive, le système tient-il? Mises à jour concurrentes Distribuée (en pair à pair) Florent Becker (LIFO & Darcs Team) darcs, utilisation et questions ouvertes LIFO 4 / 27
10 Qu est-ce que c est? Gestion de Versions : Alice et Bob travaillent sur un fichier ensemble, comment synchroniser leur travail? Quand Zbigniew arrive, le système tient-il? Mises à jour concurrentes Distribuée (en pair à pair) Pas de serveur central. Florent Becker (LIFO & Darcs Team) darcs, utilisation et questions ouvertes LIFO 4 / 27
11 Qu est-ce que c est? Gestion de Versions : Alice et Bob travaillent sur un fichier ensemble, comment synchroniser leur travail? Quand Zbigniew arrive, le système tient-il? Mises à jour concurrentes Distribuée (en pair à pair) Pas de serveur central. Fonctionnement symétrique Florent Becker (LIFO & Darcs Team) darcs, utilisation et questions ouvertes LIFO 4 / 27
12 Qu est-ce que c est? Gestion de Versions : Alice et Bob travaillent sur un fichier ensemble, comment synchroniser leur travail? Quand Zbigniew arrive, le système tient-il? Mises à jour concurrentes Distribuée (en pair à pair) Pas de serveur central. Fonctionnement symétrique Simple Florent Becker (LIFO & Darcs Team) darcs, utilisation et questions ouvertes LIFO 4 / 27
13 Qu est-ce que c est? Gestion de Versions : Alice et Bob travaillent sur un fichier ensemble, comment synchroniser leur travail? Quand Zbigniew arrive, le système tient-il? Mises à jour concurrentes Distribuée (en pair à pair) Pas de serveur central. Fonctionnement symétrique Simple Utilisation interactive Florent Becker (LIFO & Darcs Team) darcs, utilisation et questions ouvertes LIFO 4 / 27
14 Qu est-ce que c est? Gestion de Versions : Alice et Bob travaillent sur un fichier ensemble, comment synchroniser leur travail? Quand Zbigniew arrive, le système tient-il? Mises à jour concurrentes Distribuée (en pair à pair) Pas de serveur central. Fonctionnement symétrique Simple Utilisation interactive Fonctionnement souple Florent Becker (LIFO & Darcs Team) darcs, utilisation et questions ouvertes LIFO 4 / 27
15 Un exemple Alice : bleu Florent Becker (LIFO & Darcs Team) darcs, utilisation et questions ouvertes LIFO 5 / 27
16 Un exemple Alice : bleu get Bob : bleu Florent Becker (LIFO & Darcs Team) darcs, utilisation et questions ouvertes LIFO 5 / 27
17 Un exemple Alice : bleu Bob : bleu vert Florent Becker (LIFO & Darcs Team) darcs, utilisation et questions ouvertes LIFO 5 / 27
18 Un exemple Alice : bleu vert pull Bob : bleu vert Florent Becker (LIFO & Darcs Team) darcs, utilisation et questions ouvertes LIFO 5 / 27
19 Un exemple Alice : bleu vert Bob : bleu vert get Charlie : bleu vert Florent Becker (LIFO & Darcs Team) darcs, utilisation et questions ouvertes LIFO 5 / 27
20 Un exemple Alice : bleu vert Bob : bleu vert Charlie : bleu vert Florent Becker (LIFO & Darcs Team) darcs, utilisation et questions ouvertes LIFO 5 / 27
21 Un exemple Alice : bleu vert Bob : bleu vert Charlie : rouge bleu vert Florent Becker (LIFO & Darcs Team) darcs, utilisation et questions ouvertes LIFO 5 / 27
22 Un exemple Alice : rouge bleu vert Bob : bleu vert pull Charlie : rouge bleu vert Florent Becker (LIFO & Darcs Team) darcs, utilisation et questions ouvertes LIFO 5 / 27
23 Un exemple Alice : rouge bleu vert Bob : bleu ciel vert Charlie : rouge bleu vert Florent Becker (LIFO & Darcs Team) darcs, utilisation et questions ouvertes LIFO 5 / 27
24 Un exemple Alice : rouge bleu ciel vert pull Bob : bleu ciel vert Charlie : rouge bleu vert Florent Becker (LIFO & Darcs Team) darcs, utilisation et questions ouvertes LIFO 5 / 27
25 Dans la console init get record pull send/push Florent Becker (LIFO & Darcs Team) darcs, utilisation et questions ouvertes LIFO 6 / 27
26 Différentes organisations Serveur central, comme cvs Tout par mail Façon linux Florent Becker (LIFO & Darcs Team) darcs, utilisation et questions ouvertes LIFO 7 / 27
27 1 Comment on s en sert 2 Comment ca marche? 3 Où ça va? extra Meilleurs Lendemains La paix dans le monde Florent Becker (LIFO & Darcs Team) darcs, utilisation et questions ouvertes LIFO 8 / 27
28 Barrière ou piquet? Dans cvs, svn ou git, on garde un historique des versions d un fichier Dans darcs, les auteurs s échangent leurs modifications des fichiers en pair à pair, pas nécessairement dans l ordre amendements plutôt que code civil Possibilité unique et naturelle de darcs : récupérer une partie des changements des autres. Solution formelle au problème du merge (pas de diff3). Florent Becker (LIFO & Darcs Team) darcs, utilisation et questions ouvertes LIFO 9 / 27
29 Changement et contexte Un changement n a de sens que dans un certain contexte : Example À l alinéa 10, substituer aux mots : se déclarent, les mots : déposent une liste de. Florent Becker (LIFO & Darcs Team) darcs, utilisation et questions ouvertes LIFO 10 / 27
30 Changement et contexte Un changement n a de sens que dans un certain contexte : Example À l alinéa 10, substituer aux mots : se déclarent, les mots : déposent une liste de. Change de sens après : Example Un amendement précédent... Après l alinéa 4, insérer un alinéa rédigé comme suit : [...] Florent Becker (LIFO & Darcs Team) darcs, utilisation et questions ouvertes LIFO 10 / 27
31 Changement et Patch Definition Un changement est une modification du sens du contenu de nos fichiers. C est une fonction partielle sur les contenus, que l on peut interpréter. Example Cet amendement a pour objet de remplacer le vote sur des sigles des organisations syndicales, proposé par le projet de loi, par un vote sur des listes de candidats représentants les organisations syndicales, afin de favoriser l intérêt des salariés des très petites entreprises pour cette nouvelle élection et le développement du dialogue social. Florent Becker (LIFO & Darcs Team) darcs, utilisation et questions ouvertes LIFO 11 / 27
32 Changement et Patch Definition Un changement est une modification du sens du contenu de nos fichiers. C est une fonction partielle sur les contenus, que l on peut interpréter. Definition Un patch est la représentation de ce changement dans un certain contexte. Florent Becker (LIFO & Darcs Team) darcs, utilisation et questions ouvertes LIFO 11 / 27
33 Changement et Patch Definition Un changement est une modification du sens du contenu de nos fichiers. C est une fonction partielle sur les contenus, que l on peut interpréter. Definition Un patch est la représentation de ce changement dans un certain contexte. Example À l alinéa 10, substituer aux mots : se déclarent, les mots : déposent une liste de. Florent Becker (LIFO & Darcs Team) darcs, utilisation et questions ouvertes LIFO 11 / 27
34 Changement et Patch Definition Un changement est une modification du sens du contenu de nos fichiers. C est une fonction partielle sur les contenus, que l on peut interpréter. Definition Un patch est la représentation de ce changement dans un certain contexte. Definition Un dépôt est une suite de patches, qui représente un ensemble de changements. Florent Becker (LIFO & Darcs Team) darcs, utilisation et questions ouvertes LIFO 11 / 27
35 Le problème du merge patch Alice État 1 Alice État initial Florent Becker (LIFO & Darcs Team) darcs, utilisation et questions ouvertes LIFO 12 / 27
36 Le problème du merge patch Alice État 1 Alice État initial patch Bob État 1 Bob Florent Becker (LIFO & Darcs Team) darcs, utilisation et questions ouvertes LIFO 12 / 27
37 Le problème du merge patch Alice État 1 Alice changement Bob dans le contexte d Alice État initial??? patch Bob État 1 Bob Florent Becker (LIFO & Darcs Team) darcs, utilisation et questions ouvertes LIFO 12 / 27
38 Changements de contexte Passer d un contexte à un autre, c est appliquer un patch, ici celui d Alice Florent Becker (LIFO & Darcs Team) darcs, utilisation et questions ouvertes LIFO 13 / 27
39 Changements de contexte Passer d un contexte à un autre, c est appliquer un patch, ici celui d Alice e0 Cgt contexte e1 Patch Bob Florent Becker (LIFO & Darcs Team) darcs, utilisation et questions ouvertes LIFO 13 / 27
40 Changements de contexte Passer d un contexte à un autre, c est appliquer un patch, ici celui d Alice e0 Cgt contexte e1 Patch Bob e0 Cgt contexte e1 Patch Bob Florent Becker (LIFO & Darcs Team) darcs, utilisation et questions ouvertes LIFO 13 / 27
41 Par symétrie : patch Alice État 1 Alice patch Bob État initial??? patch Bob patch Alice État 1 Bob Florent Becker (LIFO & Darcs Team) darcs, utilisation et questions ouvertes LIFO 14 / 27
42 Commutation Pour Alice : patch Alice patch Bob Florent Becker (LIFO & Darcs Team) darcs, utilisation et questions ouvertes LIFO 15 / 27
43 Commutation Pour Alice : Pour Bob : patch Alice patch Bob patch Bob patch Alice Florent Becker (LIFO & Darcs Team) darcs, utilisation et questions ouvertes LIFO 15 / 27
44 Commutation Pour Alice : patch Alice patch Bob Pour Bob : patch Bob patch Alice Les deux sont cohérents : pa pb = (pb, pa ) Florent Becker (LIFO & Darcs Team) darcs, utilisation et questions ouvertes LIFO 15 / 27
45 Commutation Pour Alice : patch Alice patch Bob Pour Bob : patch Bob patch Alice Les deux sont cohérents : pa pb = (pb, pa ) On résout l équation : pa 1 pb = (pb, pa 1 ) Florent Becker (LIFO & Darcs Team) darcs, utilisation et questions ouvertes LIFO 15 / 27
46 Les deux opérations de base Tous les patches sont inversibles On a une opération de commutation partielle Florent Becker (LIFO & Darcs Team) darcs, utilisation et questions ouvertes LIFO 16 / 27
47 Non-commutation Example Patch 0 : ajouter un fichier toto.txt Patch 1 : ajouter au début de toto.txt: vert 0 et 1 ne commutent pas, car on ne peut pas modifier un fichier qui n existe pas Florent Becker (LIFO & Darcs Team) darcs, utilisation et questions ouvertes LIFO 17 / 27
48 Non-commutation Example Patch 0 : ajouter un fichier toto.txt Patch 1 : ajouter au début de toto.txt: vert Patch 2 : ligne 1 de toto.txt: vert -> rouge 0 et 1 ne commutent pas, car on ne peut pas modifier un fichier qui n existe pas 1 et 2 ne commutent pas, car on ne peut pas modifier une ligne qui n existe pas (inversibilité) Florent Becker (LIFO & Darcs Team) darcs, utilisation et questions ouvertes LIFO 17 / 27
49 Non-commutation Example Patch 0 : ajouter un fichier toto.txt Patch 1 : ajouter au début de toto.txt: vert Patch 2 : ligne 1 de toto.txt: vert -> rouge Patch 3 : ligne 1 de toto.txt: rouge -> bleu 0 et 1 ne commutent pas, car on ne peut pas modifier un fichier qui n existe pas 1 et 2 ne commutent pas, car on ne peut pas modifier une ligne qui n existe pas (inversibilité) 2 et 3 ne commutent pas : on s intéresse au changement en entier, pas à son état final Florent Becker (LIFO & Darcs Team) darcs, utilisation et questions ouvertes LIFO 17 / 27
50 darcs pull Que se passe-t-il quand Aurélien tape : darcs pull Dépôt d Aurélien : p1 p2 p3 p4 pa1 pa2 Dépôt de Bérénice : p1 p3 p2 pb1 p4 pb2 pb3 Florent Becker (LIFO & Darcs Team) darcs, utilisation et questions ouvertes LIFO 18 / 27
51 darcs pull Que se passe-t-il quand Aurélien tape : darcs pull Dépôt d Aurélien : p1 p2 p3 p4 pa1 pa2 Dépôt de Bérénice : p1 p3 p2 pb1 p4 pb2 pb3 Alignement des dépots. Dépôt d Aurélien : p1 p2 p3 p4 pa1 pa2 Dépôt de Bérénice : p1 p2 p3 p4 pb1 pb2 pb3 Florent Becker (LIFO & Darcs Team) darcs, utilisation et questions ouvertes LIFO 18 / 27
52 darcs pull Que se passe-t-il quand Aurélien tape : darcs pull Dépôt d Aurélien : p1 p2 p3 p4 pa1 pa2 Dépôt de Bérénice : p1 p3 p2 pb1 p4 pb2 pb3 Alignement des dépots. Dépôt d Aurélien : p1 p2 p3 p4 pa1 pa2 Dépôt de Bérénice : p1 p2 p3 p4 pb1 pb2 pb3 Aurélien veut pb1, pb3 mais pas pb2. dépôt de Bérénice : p1 p2 p3 p4 pb1 pb3 pb2 Commutation impossible = dépendances Florent Becker (LIFO & Darcs Team) darcs, utilisation et questions ouvertes LIFO 18 / 27
53 darcs pull Que se passe-t-il quand Aurélien tape : darcs pull Dépôt d Aurélien : p1 p2 p3 p4 pa1 pa2 Dépôt de Bérénice : p1 p3 p2 pb1 p4 pb2 pb3 Alignement des dépots. Aurélien veut pb1, pb3 mais pas pb2. dépôt de Bérénice : p1 p2 p3 p4 pb1 pb3 pb2 Commutation impossible = dépendances On intègre chez Aurélien dépôt d Aurélien : p1 p2 p3 p4 pa1 pa2 pa2 1 pa1 1 pb1 pb3 Florent Becker (LIFO & Darcs Team) darcs, utilisation et questions ouvertes LIFO 18 / 27
54 darcs pull Que se passe-t-il quand Aurélien tape : darcs pull Dépôt d Aurélien : p1 p2 p3 p4 pa1 pa2 Dépôt de Bérénice : p1 p3 p2 pb1 p4 pb2 pb3 Alignement des dépots. Aurélien veut pb1, pb3 mais pas pb2. On intègre chez Aurélien dépôt d Aurélien : p1 p2 p3 p4 pa1 pa2 pa2 1 pa1 1 pb1 pb3 dépôt d Aurélien : p1 p2 p3 p4 pa1 pa2 pb1 pb3 pa2 1 pa1 1 Florent Becker (LIFO & Darcs Team) darcs, utilisation et questions ouvertes LIFO 18 / 27
55 darcs pull Que se passe-t-il quand Aurélien tape : darcs pull Dépôt d Aurélien : p1 p2 p3 p4 pa1 pa2 Dépôt de Bérénice : p1 p3 p2 pb1 p4 pb2 pb3 Alignement des dépots. Aurélien veut pb1, pb3 mais pas pb2. On intègre chez Aurélien dépôt d Aurélien : p1 p2 p3 p4 pa1 pa2 pa2 1 pa1 1 pb1 pb3 dépôt d Aurélien : p1 p2 p3 p4 pa1 pa2 pb1 pb3 pa2 1 pa1 1 dépôt d Aurélien : p1 p2 p3 p4 pa1 pa2 pb1 pb3 Florent Becker (LIFO & Darcs Team) darcs, utilisation et questions ouvertes LIFO 18 / 27
56 darcs pull Que se passe-t-il quand Aurélien tape : darcs pull Dépôt d Aurélien : p1 p2 p3 p4 pa1 pa2 Dépôt de Bérénice : p1 p3 p2 pb1 p4 pb2 pb3 Alignement des dépots. Aurélien veut pb1, pb3 mais pas pb2. On intègre chez Aurélien dépôt d Aurélien : p1 p2 p3 p4 pa1 pa2 pa2 1 pa1 1 pb1 pb3 dépôt d Aurélien : p1 p2 p3 p4 pa1 pa2 pb1 pb3 pa2 1 pa1 1 dépôt d Aurélien : p1 p2 p3 p4 pa1 pa2 pb1 pb3 Commutation impossible = conflit Florent Becker (LIFO & Darcs Team) darcs, utilisation et questions ouvertes LIFO 18 / 27
57 Conclusion sur la théorie Deux opération à définir : inverse et commutation. L algorithme de fusion fonctionne indépendamment du type de fichiers. Commutation partielle : patches modulaires. (darcs replace) Florent Becker (LIFO & Darcs Team) darcs, utilisation et questions ouvertes LIFO 19 / 27
58 1 Comment on s en sert 2 Comment ca marche? 3 Où ça va? extra Meilleurs Lendemains La paix dans le monde Florent Becker (LIFO & Darcs Team) darcs, utilisation et questions ouvertes LIFO 20 / 27
59 Perspectives d utilisation Travail collaboratif sur documents structurés (wiki++) IHM pour l édition de documents (undo en mieux) Combinateurs abstraits pour les transformations en XML (édition automatique) Florent Becker (LIFO & Darcs Team) darcs, utilisation et questions ouvertes LIFO 21 / 27
60 Patches en XML Définir des opérations sur les arbres Niveau 0 : préserver la correction de l arbre Garder la mise en page hors de la structure d arbre? Florent Becker (LIFO & Darcs Team) darcs, utilisation et questions ouvertes LIFO 22 / 27
61 Patches en XML Définir des opérations sur les arbres Niveau 0 : préserver la correction de l arbre Niveau 1 : opérations définies en termes d arbre Garder la mise en page hors de la structure d arbre? Florent Becker (LIFO & Darcs Team) darcs, utilisation et questions ouvertes LIFO 22 / 27
62 Patches en XML Définir des opérations sur les arbres Niveau 0 : préserver la correction de l arbre Niveau 1 : opérations définies en termes d arbre Niveau 2 : opérations en fonction de la DTD Garder la mise en page hors de la structure d arbre? Florent Becker (LIFO & Darcs Team) darcs, utilisation et questions ouvertes LIFO 22 / 27
63 Que faire face à un conflit Représentation interne de la situation Informer l utilisateur Représenter la résolution Florent Becker (LIFO & Darcs Team) darcs, utilisation et questions ouvertes LIFO 23 / 27
64 commute partiel, merge total Pour fusionner les patches pa et pb, il faut que pa 1 pb soit défini. On veut que darcs pull soit une opération totale. Il faut donc compléter Florent Becker (LIFO & Darcs Team) darcs, utilisation et questions ouvertes LIFO 24 / 27
65 commute total On peut chercher à définir un système de patches sur lesquels soit totale. Pour cela, on travaille sur des pseudo-fichiers. Un système avec inodes et noms de fichiers Des lignes à coordonnées rationelles Ligne = fonction de Z dans ASCII Problèmes : interface utilisateur, dépendances, comment faire autre chose que du ligne à ligne? Florent Becker (LIFO & Darcs Team) darcs, utilisation et questions ouvertes LIFO 25 / 27
66 Patches et conflicteurs L autre solution (utilisée dans darcs) c est d enrichir l ensemble existant des patches pour rendre totale. On appelle conflicteurs les patches ainsi ajoutés. On conserve la sémantique des patches existants Il est facile de repérer les conflits Conflicteur naïf : on y garde tout le dépôt Conflicteurs imbriqués : quand les résolutions sont en conflit Problème : complexité de avec des conflicteurs. Dans darcs 1 : O(2 n ), n nombre de conflits Florent Becker (LIFO & Darcs Team) darcs, utilisation et questions ouvertes LIFO 26 / 27
67 Patches et conflicteurs L autre solution (utilisée dans darcs) c est d enrichir l ensemble existant des patches pour rendre totale. On appelle conflicteurs les patches ainsi ajoutés. On conserve la sémantique des patches existants Il est facile de repérer les conflits Conflicteur naïf : on y garde tout le dépôt Conflicteurs imbriqués : quand les résolutions sont en conflit Problème : complexité de avec des conflicteurs. Dans darcs 1 : O(2 n ), n nombre de conflits Dans darcs 2 : O(2 d ), profondeur du pire conflit (utilisable) Florent Becker (LIFO & Darcs Team) darcs, utilisation et questions ouvertes LIFO 26 / 27
68 Conclusion Un système décentralisé Florent Becker (LIFO & Darcs Team) darcs, utilisation et questions ouvertes LIFO 27 / 27
69 Conclusion Un système décentralisé simple Florent Becker (LIFO & Darcs Team) darcs, utilisation et questions ouvertes LIFO 27 / 27
70 Conclusion Un système décentralisé simple avec des possibilités uniques Florent Becker (LIFO & Darcs Team) darcs, utilisation et questions ouvertes LIFO 27 / 27
71 Conclusion Un système décentralisé simple avec des possibilités uniques des questions intéressantes Florent Becker (LIFO & Darcs Team) darcs, utilisation et questions ouvertes LIFO 27 / 27
72 Conclusion Un système décentralisé simple avec des possibilités uniques des questions intéressantes Venez en discuter vendredi (en salle M2) Florent Becker (LIFO & Darcs Team) darcs, utilisation et questions ouvertes LIFO 27 / 27
73 Conclusion Un système décentralisé simple avec des possibilités uniques des questions intéressantes Venez en discuter vendredi (en salle M2) Merci! Florent Becker (LIFO & Darcs Team) darcs, utilisation et questions ouvertes LIFO 27 / 27
Plan global Outils de développement et compilation. Ce que l on veut éviter. Plan. Git : gestion de code source et versionnement.
Plan global Outils de développement et compilation Git : gestion de code source et versionnement Timothée Ravier LIFO, INSA-CVL, LIPN 1 re année cycle ingénieur STI 2013 2014 1 Historique 2 Git 3 Pour
Les systèmes de gestion de version
Les systèmes de gestion de version Matthieu Herrb Envol 2010 http://homepages.laas.fr/matthieu/talks/envol10-sgv.pdf Systèmes de gestion de version - kesako? Logiciel permettant de gérer l historique des
Outils de développement collaboratif
Outils de développement collaboratif Envol 2012 Olivier Thauvin 24 janvier 2013 Olivier Thauvin Outils de développement collaboratif 24 janvier 2013 1 / 80 1 Avant Propos 2 Versionner 3 Communiquer 4 Documenter
Differential Synchronization
Differential Synchronization Neil Fraser Google 2009 BENA Pierrick CLEMENT Lucien DIARRA Thiemoko 2 Plan Introduction Stratégies de synchronisation Synchronisation différentielle Vue d ensemble Dual Shadow
MAILING KOMPOZER... 2 CREEZ UNE PAGE... 2 FORMAT DE LA PAGE... 2 AJOUTER DU TEXTE SUR UNE PAGE... 4
MAILING Table des matières KOMPOZER... 2 CREEZ UNE PAGE... 2 FORMAT DE LA PAGE... 2 AJOUTER DU TEXTE SUR UNE PAGE... 4 INSERER UNE IMAGE (OU UNE PHOTO) PAS DE COPIER / COLLER... 5 INSERER UN TABLEAU...
Systèmes de gestion de code source
Systèmes de gestion de code source Matthieu Herrb CNRS-LAAS Envol, 22 octobre 2008 http://www.laas.fr/~matthieu/talks/envol08-sgv.pdf Agenda 1 Introduction 2 Concepts d un système de gestion de version
Serena Software. Damien Terrien Solution Architect
Serena Software Damien Terrien Solution Architect Serena Release Manager Serena Release Automation Démonstration AGENDA Cartographie fonctionnelle de l offre SERENA IT Business Users & Customers Front
Le système de gestion de version Git et GitHub
Le système de gestion de version Git et GitHub Génie Logiciel - MPRI GROSSHANS Nathan nathan.grosshans@lsv.ens-cachan.fr 9 octobre 2014 Introduction Système de gestion de version Système logiciel permettant
1 de 46. Algorithmique. Trouver et Trier. Florent Hivert. Mél : Florent.Hivert@lri.fr Page personnelle : http://www.lri.fr/ hivert
1 de 46 Algorithmique Trouver et Trier Florent Hivert Mél : Florent.Hivert@lri.fr Page personnelle : http://www.lri.fr/ hivert 2 de 46 Algorithmes et structures de données La plupart des bons algorithmes
Manuel d utilisation 26 juin 2011. 1 Tâche à effectuer : écrire un algorithme 2
éducalgo Manuel d utilisation 26 juin 2011 Table des matières 1 Tâche à effectuer : écrire un algorithme 2 2 Comment écrire un algorithme? 3 2.1 Avec quoi écrit-on? Avec les boutons d écriture........
Les logiciels de gestion de version exemple de GIT et application avec SmartGIT
Les logiciels de gestion de version exemple de GIT et application avec SmartGIT Rémi SHARROCK www.remisharrock.fr Plan du polycopié Plan du polycopié Problématique La gestion de versions: généralités,
Comment réaliser physiquement un ordinateur quantique. Yves LEROYER
Comment réaliser physiquement un ordinateur quantique Yves LEROYER Enjeu: réaliser physiquement -un système quantique à deux états 0 > ou 1 > -une porte à un qubitconduisant à l état générique α 0 > +
Cryptographie et fonctions à sens unique
Cryptographie et fonctions à sens unique Pierre Rouchon Centre Automatique et Systèmes Mines ParisTech pierre.rouchon@mines-paristech.fr Octobre 2012 P.Rouchon (Mines ParisTech) Cryptographie et fonctions
1 Introduction C+ + Algorithm e. languag. Algorigramm. machine binaire. 1-1 Chaîne de développement. Séance n 4
1 Introduction 1-1 Chaîne de développement Algorithm e C+ + Algorigramm e languag e machine binaire Le programme est écrit à l aide de Multiprog sous forme d algorigramme puis introduit dans le microcontrôleur
Baccalauréat ES Antilles Guyane 12 septembre 2014 Corrigé
Baccalauréat ES Antilles Guyane 12 septembre 2014 Corrigé EXERCICE 1 5 points Commun à tous les candidats 1. Réponse c : ln(10)+2 ln ( 10e 2) = ln(10)+ln ( e 2) = ln(10)+2 2. Réponse b : n 13 0,7 n 0,01
IFT2255 : Génie logiciel
IFT2255 : Génie logiciel Chapitre 6 - Analyse orientée objets Section 1. Introduction à UML Julie Vachon et Houari Sahraoui 6.1. Introduction à UML 1. Vers une approche orientée objet 2. Introduction ti
D31: Protocoles Cryptographiques
D31: Protocoles Cryptographiques Certificats et échange de clés Nicolas Méloni Master 2: 1er semestre (2014/2015) Nicolas Méloni D31: Protocoles Cryptographiques 1/21 Introduction Protocole Diffie Hellman:
Cohérence des données dans les environnements d édition collaborative
1 / 66 Cohérence des données dans les environnements d édition collaborative Pascal Molli Nancy-Université Habilitation à diriger des recherches 26 avril 2007 2 / 66 Introduction Édition Collaborative
Livrer chaque jour ce qui est prêt! Points clés du développement d un produit avec une livrasion par jour.
Livrer chaque jour ce qui est prêt! Points clés du développement d un produit avec une livrasion par jour. Date : 10 avril 2015 Format : Conférence Speakers : Dimitri Baeli, Benjamin Degerbaix de Les Furets
TP Git. Author : Cedric Dumoulin Date : 2 déc. 2014 Rev : 9 Dec. 2014
Objectifs TP Git Author : Cedric Dumoulin Date : 2 déc. 2014 Rev : 9 Dec. 2014 L'objectif de cet atelier est d'apprendre à utiliser GIT pour versionner ses projet et pour travailler à plusieurs. Vous allez
Tapez le titre de la page «BASTIA ville méditerranéenne», puis allez deux fois à la ligne à l aide de la touche Entrée.
Créer un site Internet à l aide du logiciel NVU Le logiciel NVU, permet l édition Wysiwyg (What You See, Is What You Get, ce que vous voyez, est ce que vous obtenez ) d un site internet. Vous rédigez le
Ion CIONCA. Gestion des absences et des réservations
Gestion des absences et des réservations Quoi? Gestion des absences gestion des absences (en jours, demi-jours, heures) des soldes, droits aux vacances et du bonus ancienneté du temps partiel régulier
Modelio by Modeliosoft
Modelio by Modeliosoft Solutions d entreprise basées sur l atelier leader de modélisation open source Modelio (modelio.org) L atelier de modélisation open source de référence Une solution sur étagère,
Distribution Uniforme Probabilité de Laplace Dénombrements Les Paris. Chapitre 2 Le calcul des probabilités
Chapitre 2 Le calcul des probabilités Equiprobabilité et Distribution Uniforme Deux événements A et B sont dits équiprobables si P(A) = P(B) Si il y a équiprobabilité sur Ω, cad si tous les événements
Création d un site Internet
Création d un site Internet Weebly.com Johanne Raymond Collège Lionel Groulx, mai 2010 Service du soutien à l enseignement et Plan de réussite Ouvrir un compte sur Weebly... 1 Modifier le modèle... 2 Ajouter
Cryptographie. Cours 3/8 - Chiffrement asymétrique
Cryptographie Cours 3/8 - Chiffrement asymétrique Plan du cours Différents types de cryptographie Cryptographie à clé publique Motivation Applications, caractéristiques Exemples: ElGamal, RSA Faiblesses,
1.5 COMPOSANTS POUR INSTALLATIONS TELEPHONIQUES, TV/SAT ET CAT.5. Les matières premières. Section 1.5
Section COMPOSANTS POUR INSTALLATIONS TELEPHONIQUES, TV/SAT ET CAT.5 Les matières premières Pour vous donner un produit de qualité, nous choisissons celles qui offrent les meilleures garanties. Série DATATEL
Bases de données et sites WEB Licence d informatique LI345
Bases de données et sites WEB Licence d informatique LI345 Anne Doucet Anne.Doucet@lip6.fr http://www-bd.lip6.fr/ens/li345-2013/index.php/lescours 1 Contenu Transactions en pratique Modèle relationnel-objet
Réseau Global MIDI Note applicative
Réseau Global MIDI Note applicative 1 But du manuel Le but de cette note applicative est de démystifié l utilisation du MIDI transporté dans un Réseau Global MIDI. Ce réseau virtuel offre sans aucune restriction,
Les outils de communication
FICHE DE SYNTHÈSE Module 8 Les outils de communication - MODULE SEMAINE 8 - SOMMAIRE : I) Les différents média de communication...2 II) Savoir tirer parti des réseaux sociaux...2 1/6 I) LES DIFFÉRENTS
Manuel Utilisateur. Boticely
Manuel Utilisateur Boticely Auteur : Logica Version : 1.4 Droit d auteur Ce texte est disponible sous contrat Creative Commons Paternité - Pas d'utilisation Commerciale - Partage des Conditions Initiales
Cherche. Champ de saisie. Langue de. l interface. 1. Informations et. à l utilisation. NEBIS recherche. et trouver. Prêt
MODES D INTERROGATION DU CATALOGUE NEBIS recherche 1. Connexion au catalogue NEBIS recherche http://recherche.nebis.ch/ Champ de saisie 3. Ecran de recherche Langue de l interface 1. Informations relatives
Bac Blanc Terminale ES - Février 2011 Épreuve de Mathématiques (durée 3 heures)
Bac Blanc Terminale ES - Février 2011 Épreuve de Mathématiques (durée 3 heures) Eercice 1 (5 points) pour les candidats n ayant pas choisi la spécialité MATH Le tableau suivant donne l évolution du chiffre
Les 1 er pas sur. Guide d utilisation
Les 1 er pas sur Guide d utilisation 1 Quelles sont les particularités de SKYPE? Que faut-il faire pour assurer son fonctionnement? Quelles conditions faut-il réunir pour bien communiquer? Création d un
Ecran : Processeur : OS : Caméra : Communication : Mémoire : Connectique : Audio : Batterie : Autonomie : Dimensions : Poids : DAS :
SMARTPHONE - DUAL-CORE - NOIR 3483072425242 SMARTPHONE - DUAL-CORE - BLEU XXXX SMARTPHONE - DUAL-CORE - BLANC 3483072485246 SMARTPHONE - DUAL-CORE - ROSE 3483073704131 SMARTPHONE - DUAL-CORE - ROUGE XXXX
Guide du/de la candidat/e pour l élaboration du dossier ciblé
Guide du/de la candidat/e pour l élaboration du dossier ciblé en vue de l obtention du titre de "Conseiller ère diplômé e en orientation professionnelle, universitaire et de carrière" par la validation
e-obs : Conception et utilisation Rémy Decoupes Ether // ums3365
e-obs : Conception et utilisation Rémy Decoupes Ether // ums3365 1 e-obs - Plan i. A quoi sert e-obs ii. Positionnement d e-obs dans la chaine de production iii. Description générale des modules iv. Démonstration
MATHÉMATIQUES APPLIQUÉES S4 Exercices
Unité D Probabilité Exercice 1 : Chemins 1. Aline habite la maison illustrée ci-dessous. Le diagramme illustre les murs et les portes. a) Combien existe-t-il de chemins possibles entre la pièce A et la
Méthodes et outils employés pour développer des logiciels libres
Méthodes et outils employés pour développer des logiciels libres Étude basée sur le cas du projet Debian Par Raphaël Hertzog Gérant de Freexian SARL Développeur Debian Présentation du projet Debian Objectif
Shift Expectation. Notre ambition est de vous faire changer d opinion sur le conseil en vous démontrant des résultats concrets et opérationnels.
+ Shift Expectation + Notre ambition est de vous faire changer d opinion sur le conseil en vous démontrant des résultats concrets et opérationnels. + Notre vision: Un service sur mesure et sans couture.
Performance et simplicité. Logiciel de diagnostic Sleepware G3
Performance et simplicité Logiciel de diagnostic Sleepware G3 Gestion des données optimisée et préférences personnalisées L interface intuitive et conviviale de Sleepware G3 facilite la gestion des données
CHAPITRE 3 : INTERNET
CHAPITRE 3 : INTERNET Objectifs Identifier les composantes nécessaires pour se connecter à internet. Donner quelques services d internet. Créer une adresse e-mail avec Yahoo. Envoyer et recevoir un message
Baccalauréat ES Pondichéry 7 avril 2014 Corrigé
Baccalauréat ES Pondichéry 7 avril 204 Corrigé EXERCICE 4 points Commun à tous les candidats. Proposition fausse. La tangente T, passant par les points A et B d abscisses distinctes, a pour coefficient
Cours organisés par le CPLN-EPC formations supérieures
Brevet fédéral de spécialiste de la conduite d un groupe Certificats en Leadership & Management Cours organisés par le CPLN-EPC formations supérieures Version 2011-2012 1. PRÉSENTATION DE LA FORMATION
Petite introduction aux protocoles cryptographiques. Master d informatique M2
Petite introduction aux protocoles cryptographiques Master d informatique M2 Les protocoles cryptographiques p.1/48-1 Internet - confidentialité - anonymat - authentification (s agit-il bien de ma banque?)
Cryptologie. Algorithmes à clé publique. Jean-Marc Robert. Génie logiciel et des TI
Cryptologie Algorithmes à clé publique Jean-Marc Robert Génie logiciel et des TI Plan de la présentation Introduction Cryptographie à clé publique Les principes essentiels La signature électronique Infrastructures
Espace Numérique Régional de Santé Formation sur la messagerie sécurisée. Version 1.2 - Auteur : Nathalie MEDA
Espace Numérique Régional de Santé Formation sur la messagerie sécurisée Version 1.2 - Auteur : Nathalie MEDA 1 Sommaire Introduction Qu est ce qu une messagerie sécurisée? Pourquoi utiliser une messagerie
Baccalauréat ES Polynésie (spécialité) 10 septembre 2014 Corrigé
Baccalauréat ES Polynésie (spécialité) 10 septembre 2014 Corrigé A. P. M. E. P. Exercice 1 5 points 1. Réponse d. : 1 e Le coefficient directeur de la tangente est négatif et n est manifestement pas 2e
OASIS www.oasis-open.org/committees/xacml/docs/docs.shtml Date de publication
Statut du Committee Working Draft document Titre XACML Language Proposal, version 0.8 (XACML : XML Access Control Markup Language) Langage de balisage du contrôle d'accès Mot clé Attestation et sécurité
Cours 1 : Qu est-ce que la programmation?
1/65 Introduction à la programmation Cours 1 : Qu est-ce que la programmation? Yann Régis-Gianas yrg@pps.univ-paris-diderot.fr Université Paris Diderot Paris 7 2/65 1. Sortez un appareil qui peut se rendre
MANAGEMENT SPÉCIALISTE DE LA CONDUITE D'UN GROUPE ET CERTIFICATS EN LEADERSHIP & MANAGEMENT
Secteur Tertiaire MANAGEMENT SPÉCIALISTE DE LA CONDUITE D'UN GROUPE ET CERTIFICATS EN LEADERSHIP & MANAGEMENT Brevet fédéral Préparation aux examens 1 Situation de la formation Domaines Bilans de compétences
Alarme domestique- Présentation
STI2D PROJET SIN Alarme domestique- Présentation Document réponses Séquence découverte Le fonctionnement du système d alarme domestique: (Démarche d investigation) Après avoir fait une présentation de
Problèmes arithmétiques issus de la cryptographie reposant sur les réseaux
Problèmes arithmétiques issus de la cryptographie reposant sur les réseaux Damien Stehlé LIP CNRS/ENSL/INRIA/UCBL/U. Lyon Perpignan, Février 2011 Damien Stehlé Problèmes arithmétiques issus de la cryptographie
BES WEBDEVELOPER ACTIVITÉ RÔLE
BES WEBDEVELOPER ACTIVITÉ Le web developer participe aux activités concernant la conception, la réalisation, la mise à jour, la maintenance et l évolution d applications internet/intranet statiques et
Compte-rendu Réunion de constitution du collectif retraites de Rennes 6 mai 2010
Objectif de la réunion : constitution d un collectif retraites sur Présents : - Olivier Tétard, Isabelle Lambert, Marylou Perrin, Rozenn Perrot, Mathias Poirier, Florence Piechocki, Inès Rahal ATTAC ;
DROPBOX. Stocker et partager des fichiers avec
Stocker et partager des fichiers avec DROPBOX https://www.dropbox.com/ Dropbox est un programme qui permet de partager et de synchroniser entre deux ou plusieurs ordinateurs, des fichiers placés dans un
Edition collaborative des documents semi-structurés
Edition collaborative des documents semi-structurés Stéphane Martin To cite this version: Stéphane Martin Edition collaborative des documents semi-structurés Data Structures and Algorithms Université de
FORMATION TALEND. Page 1 sur 9
FORMATION TALEND Ce livret contient et détaille les formulaires que vous devez nous retourner avec votre bon de commande. Vous y trouverez aussi toutes les informations susceptibles de vous aider à organiser
STAGE IREM 0- Premiers pas en Python
Université de Bordeaux 16-18 Février 2014/2015 STAGE IREM 0- Premiers pas en Python IREM de Bordeaux Affectation et expressions Le langage python permet tout d abord de faire des calculs. On peut évaluer
Ghana, de l Inde, de la Jordanie, du Kenya, du Mexique, de New Zélande, du Portugal, de Serbie et du Royaume Uni.
Principes de Belgrade sur la relation entre les Institutions nationales des droits de l Homme et les Parlements (Belgrade, Serbie, les 22-23 février 2012) Le séminaire international de février 2012 sur
INF 232: Langages et Automates. Travaux Dirigés. Université Joseph Fourier, Université Grenoble 1 Licence Sciences et Technologies
INF 232: Langages et Automates Travaux Dirigés Université Joseph Fourier, Université Grenoble 1 Licence Sciences et Technologies Année Académique 2013-2014 Année Académique 2013-2014 UNIVERSITÉ JOSEPH
MERLIN. Guide de démarrage rapide Gestion de projet professionnelle. 2010 ProjectWizards GmbH, Melle, Allemagne. Tous droits réservés.
MERLIN Guide de démarrage rapide Gestion de projet professionnelle 2010 ProjectWizards GmbH, Melle, Allemagne. Tous droits réservés. INTRODUCTION Bienvenue dans le guide de démarrage rapide de Merlin!
Créer un tableau avec LibreOffice / Calc
Créer un tableau avec LibreOffice / Calc Réaliser des tableaux LibreOffice / Calc permet de créer des tableaux facilement en utilisant les cellules. En premier lieu, il faut prévoir le nombre de colonnes
i) Types de questions Voici les lignes directrices pour chaque type de question ainsi que la pondération approximative pour chaque type :
Raison d être Plan des examens Audit interne et contrôles internes [MU1] 2011-2012 Les examens Audit interne et contrôles internes [MU1] ont été élaborés à l aide d un plan d examen. Le plan d examen,
Logiciel Libre Cours 3 Fondements: Génie Logiciel
Logiciel Libre Cours 3 Fondements: Génie Logiciel Stefano Zacchiroli zack@pps.univ-paris-diderot.fr Laboratoire PPS, Université Paris Diderot 2013 2014 URL http://upsilon.cc/zack/teaching/1314/freesoftware/
Usine de développement : étude comparative
BlackPaper Open Wide Technologies Usine de développement : étude comparative Pour compléter notre premier article sur l usine de développement 1, il apparaît utile de faire un tour d horizon des solutions
TP n 2 Concepts de la programmation Objets Master 1 mention IL, semestre 2 Le type Abstrait Pile
TP n 2 Concepts de la programmation Objets Master 1 mention IL, semestre 2 Le type Abstrait Pile Dans ce TP, vous apprendrez à définir le type abstrait Pile, à le programmer en Java à l aide d une interface
Styler un document sous OpenOffice 4.0
Mars 2014 Styler un document sous OpenOffice 4.0 Un style est un ensemble de caractéristiques de mise en forme (police, taille, espacement, etc.) qui sert à structurer un document en l organisant de manière
Matrice d accès. Master SEMS, 2013-2014. Pierre Paradinas. October 16, 2013
Matrice d accès Master SEMS, 2013-2014 Pierre Paradinas October 16, 2013 Le Concept de Matrice d Accès ntroduit en 1971 par Butler Lampson Definition On note O, l ensemble des entités objet qui sont impliquées
Calculateur quantique: factorisation des entiers
Calculateur quantique: factorisation des entiers Plan Introduction Difficulté de la factorisation des entiers Cryptographie et la factorisation Exemple RSA L'informatique quantique L'algorithme quantique
Motivations (many2many) Motivations (many2one) Sur le thème de la Version. La gestion de version. La gestion de configuration.
À la recherche de la qualité Motivations (one2one) Développer : 1 utilisateur 1 fichier/classe/package Cycle prog: 1ère version tests correction bugs version corrigée tests difficiles/fonctionnels version
Chef de file dans le développement de solutions de gestion de contenu
Chef de file dans le développement de solutions de gestion de contenu Depuis 1997, Groupe EBI s est donné comme mission de proposer des solutions de gestion du patrimoine informationnel des organisations
Cryptologie et physique quantique : Espoirs et menaces. Objectifs 2. distribué sous licence creative common détails sur www.matthieuamiguet.
: Espoirs et menaces Matthieu Amiguet 2005 2006 Objectifs 2 Obtenir une compréhension de base des principes régissant le calcul quantique et la cryptographie quantique Comprendre les implications sur la
Utiliser Subversion (SVN) avec Tortoise
Utiliser Subversion (SVN) avec Tortoise (source: Jonathan Petitcolas - http://www.jonathan-petitcolas.com/utilisersubversion-svn-avec-tortoise/) Initialement destiné à mes associés, j'ai décidé de vous
Au Crédit Mutuel, un crédit réfléchi et ça, guide. clarté. crédits. conso
Au Crédit Mutuel, JE M engage dans un crédit réfléchi et ça, ça change tout. guide clarté crédits conso guide clarté crédits conso SOMMAIRE Le crédit réfléchi page 4 Financer vos projets page 6 Regrouper
Gestion de documents
Axe Ingénierie des Systèmes d Informations Gestion de documents électroniques (et le travail collaboratif assisté par ordinateur) Philippe BEAUNE Philippe.Beaune@emse.fr 21 septembre 2006 Objectifs Découvrir
En un coup d œil le descriptif de la solution OpenERP
En un coup d œil le descriptif de la solution OpenERP OpenERP est une suite complète d'applications business. Elle permet entre autre de gérer les ventes, le CRM, les projets, le ou les entrepôt(s), les
Climat Scolaire - Manuel utilisateur - Chapitre 2 : «Créer, Editer et suivi d un texte»
Climat Scolaire - Manuel utilisateur - Chapitre 2 : «Créer, Editer et suivi d un texte» Espace collaboratif Co-Ment Date : 01/12/2013 Référence du Projet : Chef de Projet : www.cndp.fr/climatscolaire Caroline
FORMATION 2012-2013. Offre de Formation - Packaging. Les bonnes pratiques du packaging avec Installshield et AdminStudio. Contact et inscriptions
www.experteam.fr Offre de Formation - Packaging 2012-2013 FORMATION Les bonnes pratiques du packaging avec Installshield et AdminStudio Numéro d agrément 11921398892 Contact et inscriptions Tél. +33 1
Évaluation et implémentation des langages
Évaluation et implémentation des langages Les langages de programmation et le processus de programmation Critères de conception et d évaluation des langages de programmation Les fondations de l implémentation
MANUEL UTILISATEUR DU SITE D INSCRIPTIONS FCL1.028 DGAC POUR LES CANDIDATS AUX CONTROLES DE COMPETENCES LINGUISTIQUES LANGUE ANGLAISE ORGANISES PAR LA
Page : 1/15 MANUEL UTILISATEUR DU SITE D INSCRIPTIONS POUR LES CANDIDATS AUX CONTROLES DE COMPETENCES LINGUISTIQUES LANGUE ANGLAISE FCL1.028 ORGANISES PAR LA DGAC Page : 2/15 TABLE DES MATIERES 1. Principe
Préparation et Réalisation d Ouvrages Electriques
SOCIETE NATIONALE DES MEILLEURS OUVRIERS DE FRANCE Organisatrice du concours national «Un des Meilleurs Apprentis de France» 16 rue Saint-Nicolas 75012 PARIS Tél. : 01 43 42 33 02 Fax : 01 43 42 20 41
Situation d apprentissage Les traits vivants avec le logiciel LopArt DUO (#P002)
(#P002) Situation Description... 2 Compétences visées... 2 Préparation (Environ 30 minutes)... 3 Réalisation (Environ 45 minutes)... 4 Intégration (Environ 15 minutes)... 5 Réinvestissement... 5 Fiche
Architecture d'entreprise : Guide Pratique de l'architecture Logique
Guides Pratiques Objecteering Architecture d'entreprise : Guide Pratique de l'architecture Logique Auteur : Version : 1.0 Copyright : Softeam Equipe Conseil Softeam Supervisée par Philippe Desfray Softeam
MANUEL UTILISATEUR SOPISAFE V 3.5
MANUEL UTILISATEUR SOPISAFE V 3.5 Sommaire PREMIERE PARTIE : INSTALLATION DE SOPISAFE... 3 INSTALLATION SOUS WINDOWS... 3 DEUXIEME PARTIE : L INTERFACE UTILISATEUR DE SOPISAFE V3.5... 5 PARAMETRAGE PAR
CATALOGUE GRAND PUBLIC AMATEURS 2013
Devenez Astronome High Tech CATALOGUE GRAND PUBLIC AMATEURS 2013 001 l Observatoire des Baronnies Provençales Ouvert à tous les publics depuis 2012 Sur site ou a distance depuis Internet Toute l année
Correction du baccalauréat ES/L Métropole 20 juin 2014
Correction du baccalauréat ES/L Métropole 0 juin 014 Exercice 1 1. c.. c. 3. c. 4. d. 5. a. P A (B)=1 P A (B)=1 0,3=0,7 D après la formule des probabilités totales : P(B)=P(A B)+P(A B)=0,6 0,3+(1 0,6)
DÉFINITION DE LA NEWSLETTER : OUVERTURE DU LOGITIEL ETARGET
DÉFINITION DE LA NEWSLETTER : La newsletter est un OUVERTURE document qui DU informe LOGITIEL le ETARGET client sur l'actualité, sur les nouveautés ou sur un sujet particulier. Elle est souvent rédigée
Fournier et télécharger des fichiers par FTP
Cartonnage-Soenen 1 Fournier et télécharger des fichiers par FTP 1. Vous utilisez un logiciel d exploitation Microsoft Windows Vous souhaitez utiliser Internet Explorer. Les images suivante peuvent être
Tutorial pour la réfection. des microswitchs de portes des modèles VAG. Commençons, de quoi avons-nous besoin?
Tutorial pour la réfection des microswitchs de portes des modèles VAG Préface : Beaucoup des techniques utilisées ne sont certainement pas les techniques préconisées par VAG, mais, elles ont fonctionnée.
Récapitulatif des modifications entre les versions 2.0 et 3.0
Industrie des cartes de paiement (PCI) Norme de sécurité des données d application de paiement Récapitulatif des modifications entre les versions 2.0 et 3.0 Novembre 2013 Introduction Ce document apporte
Le Collège de France crée une chaire pérenne d Informatique, Algorithmes, machines et langages, et nomme le Pr Gérard BERRY titulaire
Communiquédepresse Mars2013 LeCollègedeFrancecréeunechairepérenned Informatique, Algorithmes,machinesetlangages, etnommeleprgérardberrytitulaire Leçoninauguralele28mars2013 2009avait marquéunpas importantdans
TRAITE DE FUSION. Agissant au nom, pour le compte et en qualité de Président de ladite association, dûment habilité à
TRAITE DE FUSION En l absence de mention obligatoire à insérer dans les traités de fusion entre associations, leurs contenus sont à adapter au contexte! La bonne prise en compte des particularités des
Projet Active Object
Projet Active Object TAO Livrable de conception et validation Romain GAIDIER Enseignant : M. Noël PLOUZEAU, ISTIC / IRISA Pierre-François LEFRANC Master 2 Informatique parcours MIAGE Méthodes Informatiques
Utilisation de l ingénierie des modèles pour la conception collaborative de produits mécaniques
Utilisation de l ingénierie des modèles pour la conception collaborative de produits mécaniques Mathias Kleiner Laboratoire des Sciences de l Information et des Systèmes (LSIS) - UMR CNRS 7296 Projet Ingenierie
Tous les mois, l actualité en bref de Pôle emploi
Tous les mois, l actualité en bref de Pôle emploi SOMMAIRE INFORMATIONS RESEAU CFTC... 2 Rencontre nationale des mandatés chômage à la Confédération... 2 Suite des réunions de suivi des formations prioritaires
NOS FORMATIONS EN BUREAUTIQUE
NOS FORMATIONS EN BUREAUTIQUE Par Vivien Romaric DOVI EREBYA SENEGAL «Villa N 1, cité BOURGI - Route de l'aéroport - Dakar, Sénégal» +221 77 475 74 59 info@erebya.com 1 FORMATION N 002 : Initiation à l
PROBABILITÉS CONDITIONNELLES
PROBABILITÉS CONDITIONNELLES A.FORMONS DES COUPLES Pour la fête de l école, les élèves de CE 2 ont préparé une danse qui s exécute par couples : un garçon, une fille. La maîtresse doit faire des essais
Les nombres entiers. Durée suggérée: 3 semaines
Les nombres entiers Durée suggérée: 3 semaines Aperçu du module Orientation et contexte Pourquoi est-ce important? Dans le présent module, les élèves multiplieront et diviseront des nombres entiers concrètement,
Probabilité. Table des matières. 1 Loi de probabilité 2 1.1 Conditions préalables... 2 1.2 Définitions... 2 1.3 Loi équirépartie...
1 Probabilité Table des matières 1 Loi de probabilité 2 1.1 Conditions préalables........................... 2 1.2 Définitions................................. 2 1.3 Loi équirépartie..............................