ProjetMythologie. 27 décembre 2018 by maitressedelaforet 5 commentaires. Cette année, notre projet fil rouge est le voyage à travers le temps. Je vous avais expliqué tout ce projet fou dans un article dédié ici ! Aujourd’hui, je vous fais le bilan de notre deuxième période à travers notre projet “Mythologie”. En effet, Lewis 4Images 1 Mot réponses et astuces pour 6 Lettres mots du jeu populaire pour iOS et Android par le développeur LOTUM GmbH. Vos réponses dans le jeu peuvent être dans un ordre différent, alors consultez la page précédente si la réponse ci-dessous ne correspond pas à la question de votre niveau. Nous avons trouvé 1054 puzzles. Previous. 1. Unvoyage hors du temps et loin des attrapes touristes dans le désert de Wadi Rum - forum Jordanie - Besoin d'infos sur Jordanie ? Posez vos questions et parcourez les 3 200 000 messages Observerles évolutions du territoires au cours du temps. Accéder au patrimoine cartographique et photographique de l’IGN. ←. Voir et comparer; Télécharger; Commander un poster; Aide; Paramètres d'accessibilité; menu. Remonter le temps. Fond 1. Photos. Cartes. Aujourd'hui; 2006-2010; 2000-2005; Fond 2. Photos Cartes Aujourd'hui. Plan IGN. 1950. Scan historique. 1866 Sansattendre davantage, découvrez 14 photos qui semblent avoir voyagé dans le temps. #1 Alternateurs électriques pris par Sergey Prokudin-Gorsky dans une station hydroélectrique Citationssur la mort et le deuil. Quand tu es heureux, regarde au plus profond de toi. Tu verras que seul ce qui t’apporte de la peine, t’apporte aussi de la joie. Quand tu es triste, regarde à nouveau dans ton cœur, et tu verras que tu Trouvezdes images de Voyage Dans Le Temps. Gratuites pour usage commercial Pas d’attribution nécessaire Libres de droits OirWZQ. 29 Finistère 22 Côtes d'Armor 56 Morbihan 44 Loire Atlantique 35 Ille et Vilaine Autres départements LA CARTE CADEAU BILLETTERIE Besoin d'une idée cadeaux ? Offrez un moment de rires, de bonheur pour les yeux et les oreilles... avec notre bon cadeau billetterie, soyez sûr de faire plaisir à tous et pour toutes les occasions. La carte cadeau est valable pour l'achat de billets sur l'ensemble de notre programmation et dans plusieurs départements. Comment créditer la carte cadeau ? C'est très simple il vous suffit de nous contacter par mail à l'adresse suivante billetterie ou par téléphone afin de nous indiquer le montant que vous souhaitez créditer à la carte cadeau que vous offrez Règlement par CB ou chèque*. Comment recevoir la carte cadeau ? Par voie postale, à l'adresse de votre choix chez vous ou directement à l’adresse du bénéficiaire. Comment dépenser la carte cadeau ? En un seul coup de fil, le bénéficiaire nous indique l'événement auquel il souhaite assister, le nombre de places, etc. Nous le conseillons sur le choix des places s’il s’agit d’un placement numéroté. Nous faisons parvenir les billets sous format papier ou électronique au bénéficiaire. Date de validité 1 an * + frais de port LES BONS PLANS Bénéficiez de de remise sur la CAT2 pour le spectacle d'Eric Antoine à Brest Arena le 05 Mai prochain avec le code promo suivant MAGIC-ERIC-22 BREST Jeudi 22 & Vendredi 23 Septembre 2022 VITAA & SLIMANE VersuS TOUR VersuS, le titre de la première chanson issu d’un projet incroyable et évident. VersuS, les confessions musicales de Vitaa et Slimane, deux artistes que le destin a décidé de réunir le temps d’un album duo désormais certifié disque de diamant ! La réédition de ce premier opus, nommée Chapitre II avec 10 titres inédits, est sortie le 2 octobre 2020. VersuS Tour, une tournée des zéniths à deux. Un spectacle musical unique. Vitaa et Slimane, sillonnent actuellement la France jusqu’en 2022 et seront en concert exceptionnel à Paris La Défense Arena samedi 17 décembre 2022 afin de clore en beauté ce merveilleux chapitre ! RENNES Vendredi 7 octobre NINHO La date du 4 mai 2022 est reportée. Les billets sont valables pour la nouvelle date vendredi 7 octobre 2022. Artiste à la carrière d’or, de platine et de diamant, Ninho est la personnalité de tous les records. Avec plus de 2 milliards de vues sur YouTube, 1 milliard de streaming et recordman des certifications, il revient avec un nouvel album et une tournée qui s’annoncent à son image grandioses ! Rendez-vous dans toute la France et à Lille le 04 juin 2022 au Stade Pierre-Mauroy ainsi que le 10 septembre 2022 à Paris La Défense Arena ! PLOUGASTEL Vendredi 07 Octobre 2022 LA BAULE Samedi 08 Octobre 2022 Jérôme Commandeur nous fait ici son dernier tour de piste. Tel Achille Zavatta à son dernier lever de rideau, il va bientôt remiser ses tartes à la crème et ses seaux d'eau. Mais avant cela, ce vieux chameau de Jérôme a encore quelques biscuits sous le pied. Prenez vos places pour pouvoir dire dans 20 ans Moi aussi, j'y étais ». SAINT-BRIEUC Samedi 08 Octobre 2022 RENNES Jeudi 17 Novembre 2022 BAPTISTE LECAPLAIN VOIR LES GENS » Le nouveau spectacle de Baptiste Lecaplain Voir les Gens » est comme une piscine à boules pour adultes c'est fun, coloré et c’est ouvert à tout le monde. Et en plus vous pouvez garder vos chaussures ! BREST Jeudi 13 Octobre 2022 LE MANS Samedi 19 Novembre 2022 CONCARNEAU Samedi 10 Décembre 2022 𝗕𝗜𝗟𝗟𝗘𝗧𝗧𝗘𝗥𝗜𝗘 La billetterie est disponible sur et dans les points de vente autorisés ! Vendredi 28 octobre 2022 LETO / CHANCEKO / BONNIE LACARENE - ANNULE LETO Grand espoir du rap français depuis ses premiers titres, LETO a fait ses armes très jeune au sein du groupe PSO THUG. Depuis ces deux dernières années, le rappeur parisien a multiplié les apparitions aux côtés d’artistes renommés Fianso, Alkapote… et featuring prestigieux Ninho. Artiste efficace et percutant, il a sorti son premier album 100 Visages en septembre 2020 et son second 17% en septembre 2021. Après un Trabendo et une Cigale sold out, il viendra le défendre sur scène le 29 janvier 2021 et en tournée dans toute la France. Ne ratez pas votre chance ! CHANCEKO L’univers de Chanceko est comme une fenêtre ouverte sur le monde, de laquelle on retrace l’itinéraire d’un artiste curieux et en mouvement constant. Rappeur, topliner et producteur, le Malaboy » produit une musique optimiste et pleine d’attitude. Un vrai rodéo d’émotions au sein duquel même les notes les plus mélancoliques sont enveloppées par des cuivres chaleureux et des rythmiques entraînantes. Après "Gaura", un EP prometteur publié en 2020, Chanceko vient de sortir une nouvelle mixtape intitulée "Malaboy". Un artiste qu’il nous tarde de découvrir sur scène ! BONNIE Bonnie est une artiste au répertoire éclectique. Adepte de trap sombre, d'égotrip comme de rap hardcore, cette dernière n'hésite pas à expérimenter chaque style afin de construire davantage son identité artistique. Dès son plus jeune âge, elle est touchée par les messages des rappeurs US notamment, de là surgissent des idéaux libertaires et une passion de l'écriture qui par la suite donneront naissance à Bonnie. Après avoir écumé les open mics, elle enregistre ses premières tracks à Rennes où elle exécute ses premières performances live. En 2020 elle collabore avec DJ Weedim sur Destinée », parue sur la Boulangerie Française Vol. 4 et en 2021 elle se qualifie pour la finale nationale du tremplin Buzzbooster. À présent elle travaille à un premier EP. Rennes Mercredi 02 Novembre 2022 Brest Jeudi 03 Novembre 2022 AMIR TOURNEE DES ZENITHS Véritable artiste de scène, Amir est aujourd’hui l’une des figures majeures du paysage musical français. Retrouvez-le en tournée des Zéniths en 2022, avec une date exceptionnelle au Zénith de Paris le 29 octobre 2022 ! Son dernier album “Ressources” est désormais disque de platine et comprend des titres enjoués et personnels comme La Fête», Carrousel» et Rétine. Initialement prévu le Jeudi 04 Mars 2021 puis le 09 Novembre 2021. LAKKEE & VICTOREE et Décibels Productions BREST Vendredi 04 Novembre 2022 N'OUBLIEZ PAS LES PAROLES ! Le plus grand karaoké de France N'Oubliez Pas Les Paroles part à la rencontre de son public ! Le temps d’une soirée, découvrez un concert exceptionnel et interactif qui ravira tous les fans de l’émission. Les Zikos ainsi que les plus grands Maestros du jeu traversent le petit écran pour venir chanter en live. Dans un grand show orchestré par Magali Ripoll, ils se retrouvent sur scène autour d’un karaoké géant au rythme des plus grands tubes de la chanson française ! Assis dans la salle, tout le monde pourra chanter et s’amuser. Les spectateurs qui se feront le plus remarquer seront même invités à monter sur scène et affronter les maestros. Une grande fête autour de la chanson française et de vos tubes préférés ! LE MANS Mardi 10 janvier 2023 LES SABLES D'OLONNE Mercredi 11 Janvier 2023 PLOEMEUR Vendredi 13 janvier 2023 SAINT BRIEUC Samedi 14 janvier 2023 ST-GREGOIRE Jeudi 02 février 2023 LA BAULE Vendredi 03 Février 2023 PLOUGASTEL Samedi 04 février 2023 ANGERS Dimanche 05 février 2023 - 15h30 LE LAC DES CYGNES THE UKRAINIAN NATIONAL BALLET OF ODESSA La compagnie a été fondée en 2006 dans la magnifique ville côtière d’Odessa sur la Mer Noire, par Vladimir Troshenko à la suite d'une invitation à jouer "Casse-Noisette" de Tchaïkovski dans les théâtres les plus prestigieux des États-Unis. À partir de ce moment, la compagnie s'est engagée dans des tournées internationales à travers les États-Unis et le Canada, interprétant "Casse-Noisette"et "Le Lac Des Cygnes" de Tchaïkovski, ainsi que des tournées réussies dans son pays natal, l'Ukraine, ainsi que dans toute l'Europe et l'Asie. The Ukrainian National Ballet of Odessa a eu le grand honneur de présenter sa production de "La Belle au Bois Dormant" de Tchaïkovski, la "Suite de Carmen" de Bizet / Shchedrin ainsi que plusieurs autres ballets modernes dont son interprétation de "Roméo et Juliette" dans l'un des plus prestigieux théâtres d'Europe Le théâtre National Académique d'Opéra et de Ballet d'Odessa. Les costumes et les décors de The Ukrainian National Ballet of Odessa sont fabriqués à la main par les meilleurs maîtres dans les ateliers des Théâtres Nationaux d'Opéra et de Ballet d'Odessa et de Kyiv ». Le répertoire du Ballet National Ukrainien d’Odessa a été créé dans les règles de l’art, continuant et héritant de l'expérience de maîtres tels que Natalia Makarova, Rudolf Noureev, Mikhail Baryshnikov. COMMUNIQUE DE PRESSE - Report de tournée 2022 "En raison de la guerre en Ukraine, le Ballet Royal de Moscou sera dans l’incapacité d'organiser ses futures représentations en Europe. Les dates des 29 et 30 mars 2022, ainsi que les dates des 9, 10 et 11 novembre 2022, ont été reportées entre le mardi 3 janvier et dimanche 12 février 2023 et seront présentées à la place par The Ukrainian National Ballet of Odessa, la compagnie de ballet du réputé Théâtre National Académique d’Opéra et de Ballet d’Odessa. BILLETTERIE Pour le public possédant déjà une place pour le Ballet Royal de Moscou, et souhaitant aller aux représentations de The Ukrainian National Ballet of Odessa, vous n’avez rien à faire, nous vous proposons de transférer, sans frais supplémentaires, vos places aux nouvelles représentations. Vous gardez le même numéro de siège, et le même billet. Pour le public souhaitant se faire rembourser ses places, les remboursements sont possibles auprès de vos points de vente. Les clients Yurplan, qui souhaitent faire leur demande de remboursement, doivent le faire via notre Formulaire de Remboursement. Merci de votre compréhension. Cordialement, Arthur - AA Organisation" RENNES Dimanche 13 Novembre 2022 GRAND CORPS MALADE Entre une sélection de ses classiques, et les titres phares de son dernier album Mesdames », entre morceaux intimistes et rythmiques musclées/electro, le prochain concert de Grand Corps Malade s’annonce riche et varié. Un album en hommage aux femmes, composé de 10 duos avec notamment Véronique Sanson, Louane, Suzane, Camille Lellouche, Laura Smet, Julie & Camille Berthollet mais aussi Manon, Amuse-Bouche et Alicia., Parce que l’avenir appartient à celles qu’on aime trop » Avec 3 musiciens dont Mosimann DJ et réalisateur de l’album Mesdames » , Grand Corps Malade nous emmène dans son univers engagé, parfois grave , parfois drôle… toujours poétique. Specta Paris MatchVivreVoyage Voyage Mettez vos sens en éveil en Alsace Contenu proposé par ADT Alsace. L’Alsace est une destination désirable pour tous les amateurs de bonnes choses, aux centres d’intérêt variés, les curieux de... Voyage Baies d'exception - 4. La Ciotat Depuis vingt-cinq ans, le Club des plus belles baies du monde recense les anses joyaux de la planète. Pour cet été, nous vous en présentons quatre en... 13 Voyage 72 heures au St Trop» de Crète Situé au nord de l’île, dans le golfe de Mirabello, Agios Nikolaos est un peu le Saint Tropez de la Crète. Elle abrite un joli petit port, des terrasses... 8 Désormais, les écolodges proposent un niveau de luxe par fois inouï à l’impact environnemental minimal. Pour cet été, nous vous en présentons quatre parmi les plus beaux à travers le monde. Cette semaine, le Sonop. Au sud du désert du Namib, cette oasis raffinée rappelle les campements éphémères des explorateurs. Un sublime voyage dans le temps sur des paysages à couper le souffle. Série d'été, les écolodges 1. Namibie une retraite confidentielle au cœur de l’Afrique Voyage A fond la Plagne Les activités à la montagne sont limitées, mais s’il en est une qui vous fera retrouver les sensations d’une descente... 9 Voyage Au pays enchanté de Laponie C’est une destination dont on rêve enfant mais où, devenu adulte, on va rarement. La pandémie donne l’opportunité de ...Les derniers articlesVivre Balade d’été au Québec Capitale de la province francophone du même nom située sur le fleuve Saint-Laurent, Québec se distingue par son histoire...Publié le 06/08/2022 Baies d’exception 3. Les Saintes Depuis vingt-cinq ans, le Club des plus belles baies du monde recense les anses joyaux de la planète. Pour cet été, nous...Publié le 03/08/2022 Baies d'exception - 2. La Baule Depuis vingt-cinq ans, le Club des plus belles baies du monde recense les anses joyaux de la planète. Pour cet été, nous...Publié le 28/07/2022 Croatie, 72 heures à Dubrovnik A l’extrême sud de la Croatie, Dubrovnik dévoile une vieille ville fortifiée d’une beauté inouïe, classée au Patrimoine...Publié le 14/07/2022 6 choses à faire à La Martinique Ile aux multiples facettes abritant des plages idylliques ou des anses plus mystérieuses, une végétation luxuriante, des...Publié le 08/07/2022 Ça va bien… spasser ! L’offre parisienne en matière de spas se renouvelle sans cesse. Zoom sur trois nouveaux lieux, différents mais tous, à ne...Publié le 03/07/2022 Sous la loupe de Match L’empire des sens, l'hôtel Nobu Barcelona A deux pas de la gare de Sants, la Torre Catalunya abrite un hôtel de luxe 5* le Nobu Hotel Barcelona. Créée par le...Publié le 19/06/2022Découvrez des destinations d'exception, les plus beaux océans du monde, des paysages à couper le souffle, les merveilles de notre planète, les plus beaux volcans. Il y a quelques semaines, j’ai testé avec Luce d’introduire les images séquentielles, vous savez, ces images à remettre dans l’ordre chronologique. Bien entendu, ça un fait un flop, trop d’informations à gérer en même temps. Comme elle classe du plus grand au plus petit, et du plus petit au plus grand avec les cubes ou les poupées russes, je la sentais prête. Elle commence à se repérer dans le temps, puisqu’elle signe et prononce demain » et après ». Mais pour le avant » ou hier », c’est une autre histoire ! Voilà donc un défi à relever pour moi, avec deux choses à mettre en place les séries d’images avant/après la poutre du temps, pour se repérer dans la semaine, même si on a beaucoup de calendriers ou d’outils du temps affichés à la maison, pour le moment, ça ne lui parle pas … Je vais tenter d’introduire la poutre du mois, en affichant pour chaque jour des photos de nos activités, afin de reparler de ce qui a été fait la veille, ou la semaine dernière … En attendant, voici le petit document que j’ai élaboré hier à partir d’images glanées sur internet. Certaines proviennent d’un jeu Akros. Je vais penser à en créer un à partir de photos de notre quotidien, ça sera plus simple pour Luce de travailler en tout premier à partir de situations concrètes et connues. Voici le document en téléchargement Avant-après En test cet après-midi ! Mise à jour du 21/06/15 Luce, 3 ans moins 3 mois, est vraiment entrée dans la narration, dans les jeux où elle fait parler ses personnages. Il était temps de ressortir les planches avant/après. Une petite astuce, une fois que l’enfant a replacé les étiquettes, on peut utiliser les signes de la LSF en premier », après », et à la fin » pour reformuler son récit. Les voici ! en premier après à la fin deuxième vidéo Merci d'avoir lu cet article. Retrouvez tous mes livres en cliquant ICI. Pour bien finir l’année, nous vous dévoilons les solutions de 4 Images 1 Mot décembre 2021 la Magie de l’Hiver, le thème de Noël 2021. On vous donne les soluces de chaque énigme journalière du mois de décembre. Ho ho ho ! Vous cherchez d’autres solutions Solution complète des énigmes journalières ! Solutions décembre 2021 Pour chaque jour, il y a la solution principale + la solution bonus. Mercredi 1er décembre Dates, Vacances Jeudi 2 décembre Hiver, Soirée Vendredi 3 décembre Biscuits, Hanoukka Samedi 4 décembre Sapin, Animaux Dimanche 5 décembre Neige, Fondre Lundi 6 décembre Tricote, Gouter Mardi 7 décembre Cannelle, Punch Mercredi 8 décembre Glace, Chauffage Jeudi 9 décembre Bougie, Avalanche Vendredi 10 décembre Noix, Glissant Samedi 11 décembre Tablier, Jouer Dimanche 12 décembre Flocons, Arctique Lundi 13 décembre Froid, Chaleur Mardi 14 décembre Ski, Sucre Mercredi 15 décembre Or, Amour Jeudi 16 décembre Cacao, Pièces Vendredi 17 décembre Foulard, Gris Samedi 18 décembre Feu, Bricoler Dimanche 19 décembre Snowboard, Bois Lundi 20 décembre Pate, Chorale Mardi 21 décembre Cloche, Coutume Mercredi 22 décembre Ange, Fenêtre Jeudi 23 décembre Pull, Musique Vendredi 24 décembre Cadeau, Decoré Samedi 25 décembre Oie, Famille Dimanche 26 décembre Invite, Joie Lundi 27 décembre Chaud, Carreaux Mardi 28 décembre Cheminée, Geler Mercredi 29 décembre Donation, Traineau Jeudi 30 décembre Fête, Douillet Vendredi 31 décembre Pétards, Fondue Solutions par nombre de lettres 2 lettres Or 3 lettres Feu Oie Ski 4 lettres Ange Bois Fête Gris Joie Noix Pate Pull 5 lettres Amour Cacao Chaud Dates Froid Geler Glace Hiver Jouer Neige Punch Sapin Sucre 6 lettres Bougie Cadeau Cloche Décoré Fondre Fondue Gouter Invite Pièces Soirée 7 lettres Animaux Chaleur Chorale Coutume Famille Fenêtre Flocons Foulard Musique Pétards Tablier Tricote 8 lettres Arctique Biscuits Bricoler Cannelle Carreaux Cheminée Donation Douillet Glissant Hanoukka Traineau Vacances 9 lettres Avalanche Chauffage Snowboard On vous rappelle le fonctionnement du jeu. D’un côté, il y a les centaines de niveaux classiques à résoudre à votre vitesse. Si vous êtes bons, vous pouvez en résoudre des dizaines et des dizaines le même jour. La seule limite sera votre nombre de pièces si vous achetez des jokers. De l’autre, il y a les énigmes journalières de 4 Images 1 Mot. Chaque jour, un niveau inédit est proposé. En cas de victoire, vous remportez 16 pièces gratuites. Une fois l’énigme quotidienne résolue, une seconde énigme dite bonus » est accessible. Là encore, vous pouvez gagner 16 pièces en trouvant la réponse. Pour fidéliser les joueurs, des paliers bonus vous permettent de repartir avec des récompenses supplémentaires. Sur les défis du mois de décembre, le premier palier se situe à 2 énigme résolues qui valent 25 pièces offerts. Le deuxième palier à franchir est fixé à 10 niveaux terminés qui rapporte 50 pièces. Pour les plus fidèles du jeu, le troisième palier 20 énigmes résolues rapporte 100 pièces. Enfin, si vous réussissez à résoudre l’intégralité des énigmes journalières de décembre, à savoir les 31 énigmes inédites, vous repartez avec 500 pièces d’or gratuites. Ces paliers bonus existent aussi pour les énigmes bonus mais sont placés différents 15, 20, 25 et 31 énigmes résolues avec les mêmes gains. Toutes ces pièces à gagner sont très intéressantes car elles vous permettront de prendre des jokers en cas de blocage sur les niveaux traditionnels. Thème du mois de décembre On retrouve le traditionnel thème de Noël pour ce mois de décembre qui a été élargi à l’hiver de manière général. Il sera donc question des décorations dans la maison, des repas en famille de fin d’année, de moments passés dans le salon bien au chaud devant la cheminée, de vacances au sport d’hiver à faire du ski avec ses amis, de la fraicheur de l’hiver avec la neige qui tombe, la gelée du matin, la glace sur les carreaux. Il sera aussi question de hanoukka, la fête juive qui se déroule début décembre. Si vous avez besoin, vous pouvez discuter en commentaire de ces énigmes journalières avec d’autres joueurs. Vous êtes nombreux à y jouer chaque mois, c’est l’occasion d’échanger avec d’autres personnes sur la difficulté de certains niveaux, sur vos stratégies ou encore si vous ne comprenez pas certaines photos ou réponses. L’espace commentaire est donc à votre disposition, n’hésitez pas. On vous souhaite d’agréables fêtes de Noël avec votre famille et vos amis et une excellente nouvelle année. On se revoit l’année prochaine en janvier pour de nouvelles solutions de 4 Images 1 Mot janvier 2022 voyage dans le temps. Comment relancer du code dans les conditions d’origine ? C’est une question qui se pose souvent dans le milieu de la recherche pour vérifier des résultats scientifiques, il faut déjà être capable de relancer le code qui y a mené — on parle de recherche reproductible, ce qui est dans le fond un pléonasme. La question se pose aussi dans l’ingénierie logicielle on a parfois besoin de reproduire le même environnement logiciel, même ancien, sur différentes machines, pour obtenir le même comportement ou chercher l’origine d’un défaut, ou simplement pour partager le même environnement de travail entre collègues. GNU Guix est un outil de déploiement logiciel et une distribution GNU/Linux complète. Il y a beaucoup à en dire, mais un de ses objectifs peut se résumer ainsi combiner la transparence des gestionnaires de paquets comme apt avec la simplicité de déploiement à l’identique d’outils comme Docker. Mais puisque Docker est souvent le premier choix pour cet exercice, jetons-y d’abord un œil. 1. Docker & co une solution ? Analyser l’état des logiciels déployés sur un système est difficile, encore plus si l’on a utilisé plusieurs outils apt, pip, etc. Les outils comme Docker permettent de contourner la difficulté en figeant » une image de l'état du système. Pour y parvenir, on écrit dans un Dockerfile la séquence de commandes permettant a priori d'atteindre l'état souhaité. Le résultat est une image qui contient l’environnement logiciel souhaité et que l’on peut partager. La personne qui reçoit l’image est sûre de reproduire l’environnement logiciel à l’identique, puisqu’elle dispose de tous les octets qui le composent. Elle n’a en revanche que ces octets, puisque la recette décrite par le Dockerfile n’est pas reproductible l'effet des commandes exécutées dépend de l'état des dépôts des gestionnaires de paquets et autres services tiers utilisés par la recette. Impossible, donc, de vérifier qu’un Dockerfile est bien celui qui a mené à l’image qu’on utilise. Quand bien même le Dockerfile décrirait un processus reproductible, il favorise un empilement de couches sans donner une vision globale dans la composition des paquets. Enfin, cette approche a d'autres inconvénients, comme l'utilisation inefficace du stockage et la difficulté de s'assurer que chaque image contient les mises à jour de sécurité critiques. 2. Démarrer avec Guix Que permet Guix ? Dans GLMF no194 de juin 2016 [1], je donnais un aperçu de Guix qui reste d’actualité Guix a énormément évolué en quatre ans à peu près 60 000 changements !, mais les fondements restent les mêmes. Guix peut s’utiliser comme une distribution à part entière, Guix System, ou alors comme un outil de déploiement par-dessus une distribution existante et donnant accès à plus de 15 000 logiciels libres. Il a une interface de type gestionnaire de paquets » guix install inkscape fait ce que vous imaginez. Il a aussi une interface de gestion d’environnements », à la VirtualEnv pour les personnes habituées à Python, mais accessible à tous les logiciels, sans distinction de langage de programmation. Par exemple, pour un environnement Python avec NumPy, on peut lancer $ guix environment -ad-hoc python python-numpy - \ python3 -c "import numpy; print La commande guix environment a créé un environnement contenant seulement Python et NumPy, a positionné PATH et PYTHONPATH pour faire référence à cet environnement, et y a lancé python3. De cette manière, l’environnement d’exécution de python3 est parfaitement contrôlé. Avec ça, on a déjà de quoi reproduire un environnement logiciel. Mais en quoi est-ce différent de apt ou yum ? 3. Approche fonctionnelle » et reproductibilité bit à bit Faisons un aparté pour rappeler ce qui distingue Guix des outils de gestion de paquets classiques », c’est son approche fonctionnelle » héritée de Nix [2] on peut dire que Nix et Guix sont deux outils de déploiement fonctionnels, de la même manière que apt et yum sont deux gestionnaires de paquets impératifs », avec des similarités et des différences majeures. En résumé, un paquet dans Guix est défini par son graphe de dépendances complet et la manière dont il est construit — complet » ici signifie que, à part le noyau du système d’exploitation, un paquet ne peut pas avoir d’autres dépendances que celles décrites par son graphe. La construction du paquet est donc vue comme une fonction pure, comme on en voit en maths ou dans la programmation fonctionnelle avec des langages comme OCaml, Haskell ou Scheme on lui passe des arguments tels que du code source, un compilateur, des bibliothèques et elle retourne un paquet compilé. Avec cette information, Guix a tout ce qu’il faut pour pouvoir reconstruire ses paquets. Le démon de compilation, guix-daemon, s’arrange pour que la construction ait lieu dans un environnement isolé du reste du système, un conteneur où seules les dépendances qui apparaissent dans la définition du paquet sont accessibles. Cela maximise les chances que la construction du paquet soit reproductible bit à bit que je le construise sur ma machine ou sur la votre, maintenant ou dans six mois, le résultat sera sauf rares exceptions le même au bit près. C’est à cette condition seulement que l’on peut vérifier que le binaire qu’on fait tourner correspond vraiment au code source que l’on a sous les yeux. Le projet Guix est d’ailleurs impliqué dans l’action Reproducible Builds [3] aux côtés de nombreuses autres distributions, dont Debian et NixOS. La construction de paquets reproductibles bit à bit et la possibilité de vérification qui en découle, c’est bien, mais ça n’a de sens que s’il y a effectivement construction à partir du code source au départ. Guix va donc plus loin en éliminant les cas où les distributions partent habituellement d’un binaire précompilé, par exemple pour le compilateur du compilateur. C’est aujourd’hui la première distribution à être amorcée entièrement depuis du code source. Mais bon, ce sera le sujet d’un autre article [4] ! 4. Déclarer un environnement On a vu que Guix permet de créer des environnements persistants à la volée avec guix environment ou de manière persistante avec guix install. Pour faciliter le partage, on peut aussi déclarer un environnement dans un fichier que l’on appelle un manifeste et qui ressemble à ça specifications->manifest list "python" "python-numpy" "gcc-toolchain10" Il s’agit en fait d’un morceau de code Scheme, le langage fonctionnel de la famille Lisp dans lequel est écrit Guix et avec lequel on peut le configurer et l’étendre. Ce code liste les trois paquets que l’on a spécifiés, cherche leur définition et renvoie un objet de type manifest. Ce fichier, appelons-le on peut le passer à la commande guix package pour qu’elle l’instancie, c’est-à-dire qu’elle installe précisément ces trois paquets et rien d’autre $ guix package -m Les paquets suivants seront installés gcc-toolchain python python-numpy […] $ guix package -p /tmp/test -list-installed gcc-toolchain … python-numpy … python … On peut aussi le passer à guix environment pour lancer un shell contenant ces trois paquets ici, on rajoute -container pour que ce shell soit en plus isolé dans un conteneur $ guix environment -m -container [env]$ python3 -version Python [env]$ ls /bin sh ls command not found [env]$ echo /bin/* /bin/sh On voit dans cet exemple qu’il n’y a vraiment rien d’autre dans cet environnement que les trois paquets spécifiés dans si ce n’est /bin/sh. Ce manifeste, on peut donc le mettre en gestion de versions et le partager avec d’autres personnes qui pourront reproduire le même environnement. Mission accomplie ? Pas tout à fait. Si on regarde de plus près, la version de Python que fournit Guix aujourd’hui, la ce ne sera plus la même dans six mois. Autrement dit, si je passe à un Guix post-COVID fin 2021 ?, il va bien créer un environnement contenant mes trois paquets, mais ce seront des versions différentes et des dépendances différentes. Il me manque donc une information, si je veux pouvoir recréer cet environnement plus tard. 5. Canaux et choix d’une révision L’équivalent de apt update, c’est guix pull, qui met à jour Guix et les paquets qu’il fournit. Si je veux reproduire mon environnement du jour dans six mois, il faut que, en plus de mon manifeste, je connaisse la version précise de Guix que j’utilise. C’est cette information que nous donne guix describe $ guix describe Génération 170 26 Dec 2020 164539 actuelle guix 4969b51 URL du dépôt branche master commit 4969b51d175497bfcc354c91803e9d70542b7113 Cette commande m’affiche la révision commit précise de Guix que je suis en train d’utiliser. Si je veux obtenir cette même révision sur une autre machine, ou dans six mois, je peux la demander explicitement à guix pull $ guix pull -commit=4969b51d17 À l’issue de cette opération, guix describe m’affichera la même révision que ci-dessus. Je pourrai passer à guix environment ou guix install et avoir la garantie d’obtenir le même environnement logiciel, bit à bit, que précédemment. On peut même faire plus simple et stocker la sortie de guix describe dans un format consommable par guix pull $ guix describe -f channels > Ce fichier, je peux lui aussi le mettre en gestion de versions et le partager, pour plus tard le passer à guix pull $ guix pull -channels= Je peux comme ça figer la révision de Guix qui me convient, pour pouvoir la redéployer sur d’autres machines ou plus tard. En résumé, je peux décrire complètement mon environnement logiciel pour pouvoir le reproduire bit à bit à n’importe quel moment avec ces deux fichiers qui liste les paquets que je veux dans mon environnement ; qui définit la révision de Guix à utiliser. Au fait, pourquoi parle-t-on de canaux » ? Un canal, dans le jargon Guix, c’est en gros un dépôt Git qui contient des définitions de paquets. On utilise toujours au moins un canal, le canal guix que nous montre la commande guix describe ci-dessus c’est celui qui contient Guix même, ses commandes et ses paquets. Mais on peut aussi, dans le fichier ou dans ~/.config/guix/ lister des canaux supplémentaires fournissant d’autres paquets. Pour chacun d’eux, on peut demander une révision spécifique comme on l’a fait ici, ou la dernière révision d’une branche. Comme on le voit, Guix se focalise sur le chemin qui mène de la source au binaire. Le gros avantage, par rapport à un Dockerfile ou par rapport à une image préconstruite, c’est la reproductibilité et la transparence. Je sais exactement d’où proviennent les binaires que je lance, je peux choisir de les compiler moi-même, je peux ausculter les versions, options de compilation, etc. de chaque paquet. Et puis, comme Guix dispose de toute cette information, je peux aussi construire des variantes de ces paquets, par exemple en utilisant une option de transformation de paquets » en ligne de commande. C’est aussi fondamentalement différent de l’archivage de binaires précompilés sur ou sur pour le gestionnaire de paquets CONDA on peut toujours recompiler le paquet, et donc vérifier que le binaire correspond aux sources. 6. Voyager dans le temps Avec guix pull -commit et guix pull -channels on peut donc, tel McFly au volant de sa DeLorean dans Retour vers le futur, voyager dans le temps. Un inconvénient est que guix pull modifie ma commande guix, et même si je peux toujours revenir à la révision que j’utilisais avant avec guix pull -roll-back, ça peut s’avérer peu pratique. C’est pour cette raison qu’on a créé guix time-machine, la commande deux en un elle voyage jusqu’aux canaux demandés et de là, elle exécute la commande souhaitée. Si on reprend mes deux fichiers précédents, on peut donc déployer mon environnement directement avec $ guix time-machine -channels= - \ environment -m Les deux tirets sont suivis par la commande à exécuter, celle qu’on aurait normalement lancée après guix pull. J’aurais aussi pu utiliser la commande package $ guix time-machine -channels= - \ package -m J’aurais aussi pu passer un commit et utiliser guix install pratique pour installer rapidement une vieille version $ guix time-machine -commit=4969b51d17 - install gimp Ici, on part du principe qu’on connaît déjà la révision qu’on souhaite utiliser parce qu’on l’utilisait avant et qu’on l’a sauvegardée avec guix describe. Parfois, on ne connaît pas la révision à l’avance, mais on souhaiterait trouver une révision qui contient une version précise d’un paquet. Le Guix Data Service [4], qui stocke les données sur les paquets fournis par chaque révision de Guix, permet de répondre à ce genre de question. Un stage Outreachy actuellement en cours porte également sur le développement d’une commande pour naviguer dans l’historique des versions de paquets. À suivre ! 7. Et le code source ? Il y a quand même une hypothèse implicite qui est faite ici que le code source des paquets sera toujours disponible quand on voyagera, plus tard, dans le passé, et que Guix essayera de recompiler des paquets ! Parce qu’en effet, une définition de paquet commence par spécifier l’URL du code source et son condensé hash define-public hello package name "hello" version " source origin method url-fetch uri string-append "mirror//gnu/hello/hello-" version ". sha256 base32 "0ssi1wpaf7plaswqqjwigppsg5f…" ;; … Ou de manière similaire pour du code issu d’un dépôt de gestion de versions source origin method git-fetch uri git-reference url " commit " sha256 base32 "1c8l7829b5yx8wdc0mrhzjfwb6h9…" Quand on demande un paquet, Guix va automatiquement chercher des binaires précompilés comme substituts » à une compilation locale, si ceux-ci sont disponibles sur les serveurs choisis. Quand ces substituts ne sont pas disponibles, ou quand on a demandé explicitement à ne pas y recourir, Guix construit les paquets depuis le code source. Que se passe-t-il si ce dernier a disparu ? Il y a plusieurs niveaux de protection. D’abord, les URL mirror// lui permettent de parcourir tous les miroirs du site en question dans l’exemple ci-dessus au cas où l’un d’eux ne disposerait plus du code. Ensuite, le serveur officiel du projet, préserve des copies du code source archives tar, checkouts Git, etc. pendant un certain temps ; elles sont automatiquement téléchargées si disponibles, mais le projet ne peut pas garantir qu’elles resteront éternellement. C’est pour cette raison que le lancement de Software Heritage [5] en 2016 a été accueilli par le projet comme un soulagement ! Software Heritage SWH a pour mission rien de moins que d’archiver tout le code source public disponible. Du point de vue de Guix, c’était le chaînon manquant en amont pour la reproductibilité d’environnements logiciels. SWH archive ainsi depuis plus de quatre ans tout l’historique des dépôts de gestion de versions publics et tout le contenu des archives de code. Le site fournit une interface HTTP/JSON pour y accéder. Avec l’aide de l’équipe SWH, nous avons d’abord intégré dans Guix la possibilité de récupérer le code sur SWH quand les autres méthodes ont échoué [6]. Comme le paquet Guix fournit un condensé SHA256 du code source attendu, on est sûr de récupérer le bon » code. Il restait une inconnue cela ne fonctionne qu’à condition que SWH archive bien l’ensemble du code auquel Guix fait référence. Nous avons d’abord étendu l’outil de vérification de paquet guix lint pour qu’il demande automatiquement à SWH l’archivage du code des paquets donnés. L’entreprise Tweag, impliquée dans le développement de Nix, a ensuite travaillé avec SWH ; le résultat est que NixOS et Guix publient dorénavant un fichier JSON listant les URL du code source de leurs paquets et SWH le récupère automatiquement à intervalles réguliers pour lancer l’archivage de tout ce code. Nous travaillons encore sur un point pour que l’intégration soit parfaite. SWH archive le contenu des archives de type tar, pas les archives elles-mêmes. L’archive SWH est adressée par le contenu », c’est-à-dire qu’on peut obtenir un code en donnant le condensé de son contenu. Or, une définition de paquet Guix donne généralement le condensé de l’archive elle-même le fichier alors que SWH ne retient que le condensé du contenu de l’archive le répertoire produit par extraction de l’archive. Il nous faut donc créer un pont entre les archives auxquelles Guix fait référence et leur contenu, pour que Guix puisse récupérer le contenu de ces archives sur SWH. Une solution a été proposée par une personne de l’équipe Guix et pourrait bien être testée rapidement [7], ce qui réglerait le problème. 8. Préhistoire Un aspect du voyage dans le temps que je n’ai pas mentionné, c’est la question de la préhistoire Guix date de 2012, le mécanisme qui lui permet de reproduire une version passée ou future n’est stable que depuis la version juillet 2018 et on ne peut donc pas faire de time-machine au-delà de cette limite. La revue en ligne ReScience a justement organisé récemment un défi intéressant, le Ten Years Reproducibility Challenge, dont le but est de reproduire les résultats parus dans un article scientifique qu’on a soi-même écrit il y a dix ans ou plus [8]. Pour y participer, j’avais moi-même besoin d’une pile logicielle datant de 2006 et que Guix n’a donc jamais fournie. C’est comme ça qu’avec d’autres nous avons créé Guix-Past, un canal fournissant exclusivement des logiciels vintage [9]. On y trouve des vieilles versions de Python et de logiciels associés, de Perl, de Boost, des Autotools » GNU, de diverses bibliothèques et de logiciels scientifiques. En rajoutant ce canal à votre ~/.config/guix/ vous pouvez démarrer un Python ancré dans la pile GNU/Linux de 2021 ! Encore une fois, c’est réalisé sans trucage Guix vous garantit que vous pouvez recompiler ces vieux logiciels ici et maintenant. 9. Interopérabilité J’ai eu beau critiquer l’approche de Docker, il faut reconnaître que la possibilité d’échanger des images binaires prêtes à l’emploi est bien pratique — tout du moins dans un souci d’interopérabilité avec les personnes n’utilisant pas pas encore ? Guix, ou pour de l’archivage à long terme. C’est dans cette optique qu’a été développé guix pack, qui permet de créer un lot applicatif » une image binaire contenant des paquets et tout ce dont ils dépendent à l’exécution. Par exemple, je peux créer une archive contenant Python, NumPy et toutes leurs dépendances avec cette commande $ guix pack -RR -S /bin=bin python python-numpy … /gnu/store/… Le fichier /gnu/store/... que retourne la commande contient tous les fichiers nécessaires à l’exécution de Python et NumPy. Compte tenu de l’option -S /bin=bin, l’archive contient également un lien symbolique /bin pointant vers le sous-répertoire bin de ces deux paquets. L’option -RR spécifie que les exécutables contenus dans l’archive doivent être relogeables, c’est-à-dire exécutables depuis n’importe quel répertoire. Je peux donc aller sur n’importe quelle machine faisant tourner le noyau Linux, extraire l’archive, et démarrer Python $ tar xf $ ./bin/python Magique ! Sous le capot, le binaire python crée automatiquement un user namespace dans lequel il rend le répertoire /gnu/store visible c’est l’endroit où sont normalement stockés tous les résultats de compilation, donc les binaires eux-mêmes ; si les user namespaces ne sont pas pris en charge sur la machine, il utilise le logiciel PRoot qui est embarqué pour arriver au même résultat, au prix d’une baisse de performances. L’option -f permet de choisir un autre format, comme le format d’image Docker $ guix pack -f docker -S /bin=bin -save-provenance \ -m … /gnu/store/… Ici, on créée une image Docker contenant les paquets listés dans mon fichier le même que celui discuté plus haut et c’est probablement plus simple que d’écrire un Dockerfile. Je peux passer le fichier que me retourne la commande à docker load, puis lancer le code en utilisant le nom que guix pack a généré pour l’image $ docker load < $ docker run -ti python-python-numpy-gcc-toolchain \ /bin/python En rajoutant -save-provenance, les informations sur les canaux que j’utilise — les mêmes informations que celles renvoyées par guix describe — sont stockées dans l’image. De cette manière, quelqu’un qui reçoit l’image a également toute l’information nécessaire pour la reproduire avec Guix. Conclusion Et voilà ! On a vu l’essentiel de ce que permet GNU Guix en termes de reproductibilité d’environnements logiciels dans l’espace et dans le temps. Je me suis concentré sur les paquets, mais Guix sait aussi gérer des systèmes complets et donc toutes ces bonnes propriétés sont valables au niveau du système ; on se le garde sous le coude pour un prochain article. L’approche de Guix est radicale être capable de recompiler une pile logicielle à l’identique, au bit près, à différents moments dans le temps, avec une traçabilité parfaite. C’est aux antipodes de l’approche qui consiste à générer une image Docker ou de machine virtuelle une fois pour toutes. C’est une approche plus ambitieuse, donc plus difficile à mettre en œuvre, mais je suis convaincu que les bénéfices en termes de transparence, et donc de sécurité et de liberté des usagers, en valent la chandelle. Pour aller plus loin, vous pouvez jeter un œil au manuel de Guix et à sa traduction en français [10], l’essayer vous-même, et venir discuter avec nous sur les listes de diffusion ou le canal IRC du projet. La dernière version en date est la sortie en novembre 2020. Nous serions ravis d’accepter vos contributions pour la prochaine version, ou peut-être même dans un des canaux tiers comme Guix-Past ! Références & Notes [1] L. COURTÈS, Gestion de paquets sûre et flexible avec GNU Guix », GNU/Linux Magazine no194, juin 2016 [1] NixOS [2] Reproductible Builds [3] En attendant, vous pouvez jeter un œil à et au blog de Guix pour en savoir plus. [4] Guix Data Service [5] Software Heritage [6] L. COURTÈS, Connecting reproductible deployment to a long-term source code archive », 2019 [7] Solution à tester pour un pont entre les archives auxquelles Guix fait référence et leur contenu [8] Ten Years Reproducibility Challenge [9] Guix-Past [10] Manuel de Guix

4 image 1 mot voyage dans le temps