{"id":500,"date":"2023-08-20T21:22:15","date_gmt":"2023-08-20T19:22:15","guid":{"rendered":"https:\/\/actilud.com\/info\/?p=500"},"modified":"2025-03-31T10:03:23","modified_gmt":"2025-03-31T08:03:23","slug":"concevoir-un-integramme-de-a-a-z","status":"publish","type":"post","link":"https:\/\/actilud.com\/info\/blog\/concevoir-un-integramme-de-a-a-z\/","title":{"rendered":"Concevoir un int\u00e9gramme de A \u00e0 Z"},"content":{"rendered":"<p>Ou<strong> plut\u00f4t de A \u00e0 C car il n&rsquo;y a que trois \u00e9tapes ! Utilisons pour cela l&rsquo;\u00e9diteur d&rsquo;int\u00e9grammes du site Actilud.<\/strong><\/p>\n<p><!--more--><\/p>\n<p>Vous avez d\u00e9j\u00e0 essay\u00e9 de cr\u00e9er un int\u00e9gramme vous-m\u00eame ? Ce n&rsquo;est pas facile, n&rsquo;est-ce pas ? Il y a des tas de v\u00e9rifications \u00e0 faire ! En effet, il ne suffit pas d&rsquo;\u00e9crire diff\u00e9rentes propositions logiques. Encore faut-il qu&rsquo;elles ne se contredisent pas et aboutissent conjointement \u00e0 une solution, ce qui est d\u00e9j\u00e0 rare du premier coup ! Bien s\u00fbr\u00a0 Il faut aussi que la solution soit unique ! Et mieux vaut \u00e9viter les propositions redondantes si l&rsquo;on veut que notre int\u00e9gramme soit int\u00e9ressant&#8230;<\/p>\n<p>Bref, c&rsquo;\u00e9tait un travail fastidieux&#8230; jusqu&rsquo;\u00e0 pr\u00e9sent. Car d\u00e9sormais\u00a0 la machine peut s&rsquo;occuper de la partie fastidieuse, gr\u00e2ce \u00e0 l&rsquo;<a href=\"https:\/\/actilud.com\/fr\/logigrammes_edit\" target=\"_blank\" rel=\"noopener\">\u00e9diteur d&rsquo;int\u00e9grammes du site Actilud<\/a>. Le logiciel est en effet capable de tester des milliers de combinaisons de grilles en quelques secondes&#8230; vous permettant ainsi de vous concentrer sur l&rsquo;essentiel, le plus int\u00e9ressant, la <strong>conception<\/strong>. Le tout en trois \u00e9tapes.<\/p>\n<p>Les trois \u00e9tapes sont :<\/p>\n<ul>\n<li><strong>planification: <\/strong>d\u00e9finition de l&rsquo;histoire \u00e0 raconter, cr\u00e9ation des grilles avec leurs en-t\u00eates et leurs items;<\/li>\n<li><strong>codage<\/strong> : programmation des instructions destin\u00e9es au concepteur d&rsquo;Actilud.\u00a0 Elles d\u00e9finissent la nature des propositions logiques qui vont \u00eatre g\u00e9n\u00e9r\u00e9es. Ce sont ces derni\u00e8res qui vont conditionner le niveau de difficult\u00e9 de l&rsquo;int\u00e9gramme.\u00a0 A l&rsquo;issue de cette phase on obtient des <em>propositions formelles;<\/em><\/li>\n<li><strong>r\u00e9daction :\u00a0<\/strong>transformation des propositions formelles en \u00e9nonc\u00e9s clairs et lisibles par tous.<\/li>\n<\/ul>\n<p><!--nextpage--><\/p>\n<h1>A- PLANIFICATION<\/h1>\n<p>Avant de d\u00e9marrer, prenez le temps d&rsquo;imaginer une situation et l&rsquo;histoire que vous allez conter.<\/p>\n<p>Puis entrez dans l&rsquo;\u00e9diteur: <em>Int\u00e9grammes, \u00e9diteur d&rsquo;int\u00e9grammes.<\/em><\/p>\n<h2>Point de d\u00e9part<\/h2>\n<p>On d\u00e9marre la premi\u00e8re phase en cliquant sur le bouton <em>Concevoir&#8230;<\/em> qui est propos\u00e9 au tout d\u00e9but.<br \/>\nLes trois premi\u00e8res \u00e9tapes sont identiques \u00e0 celles qu&rsquo;il faut effectuer en mode <em>solveur <\/em>:<\/p>\n<ul>\n<li>on indique le nombre d&rsquo;en-t\u00eates,<\/li>\n<li>on renseigne la taille des grilles,<\/li>\n<li>on remplit le tableau des en-t\u00eates et des items.<\/li>\n<\/ul>\n<p>La saisie \u00e9tant effectu\u00e9e, cliquez sur <em>Suivant. <\/em>Le conseiller propose alors de continuer (<em>suivant) <\/em> ou de terminer. Cette fois, contrairement \u00e0 ce que nous faisions en mode <em>solveur, <\/em>cliquons sur <em>Suivant<\/em> car nous devons saisir de nouvelles informations.<\/p>\n<h3>Un peu de vocabulaire<\/h3>\n<p>Une <em>s\u00e9rie<\/em> regroupe un <em>en-t\u00eate<\/em> avec ses <em>items :<\/em><\/p>\n<blockquote><p>Pr\u00e9noms: Alice, Bob, Carole, Denis, Enzo<\/p><\/blockquote>\n<h6>La s\u00e9rie <em>Pr\u00e9noms <\/em>est form\u00e9e de l&rsquo;en-t\u00eate <em>Pr\u00e9noms<\/em> et des items <em>Alice, Bob, Carole, Denis, Enzo<\/em>.<\/h6>\n<h2>Informations compl\u00e9mentaires<\/h2>\n<h3>Ordonner et additionner<\/h3>\n<p>Dans cette fen\u00eatre il faut cocher les en-t\u00eates dont les items sont ordonn\u00e9s et ceux qui sont sommables.<\/p>\n<h4>items ordonn\u00e9s<\/h4>\n<p>Les items ont une valeur qui suit une progression <strong>croissante<\/strong> ou <strong>d\u00e9croissante<\/strong>. Voici quelques exemples d&rsquo;items ordonn\u00e9s :<\/p>\n<blockquote><p>\u00c2ge : 12 ans, 13 ans, 15 ans, 20 ans, 23 ans (progression croissante)<\/p>\n<p>Poids : 80kg, 70kg, 50kg, 45kg, 40kg (progression d\u00e9croissante)<\/p><\/blockquote>\n<p>Remarquez qu&rsquo;ici il n&rsquo;y a pas de r\u00e9gularit\u00e9 de la progression entre les items. Cela n&rsquo;est pas absolument indispensable, sauf pour une instruction.<\/p>\n<p>Ceci n&rsquo;est pas une s\u00e9rie ordonn\u00e9e:<\/p>\n<blockquote><p>Prix: 10 \u20ac, 15 \u20ac, 14 \u20ac, 16 \u20ac, 19 \u20ac : pas ordonn\u00e9<\/p><\/blockquote>\n<p>Les s\u00e9ries les plus int\u00e9ressantes sont celles qui ont une progression r\u00e9guli\u00e8re: l&rsquo;\u00e9cart entre les valeurs cons\u00e9cutives est toujours le m\u00eame.<\/p>\n<blockquote><p>\u00c2ge : 12 ans, 13 ans, 14 ans, 15 ans, 16 ans (progression croissante r\u00e9guli\u00e8re de 1 an)<\/p>\n<p>Poids : 80kg, 75kg, 70kg, 65kg, 60kg (progression d\u00e9croissante r\u00e9guli\u00e8re de 5kg)<\/p><\/blockquote>\n<p>J&rsquo;ai indiqu\u00e9 ici des valeurs num\u00e9riques mais en fait, tout syst\u00e8me de classement est valable. Par exemple, l&rsquo;ordre alphab\u00e9tique. Mais par la suite il faudra y associer manuellement des nombres.<\/p>\n<blockquote><p>Ville: Amiens, Bordeaux, Caen, Dijon, \u00c9cully\u00a0 : ordre alphab\u00e9tique, \u00e9cart de 1 lettre.<\/p><\/blockquote>\n<span class=\"\" style=\"display:block;clear:both;height: 0px;padding-top: 0px;border-top-width:0px;border-bottom-width:0px;\"><\/span>\n<blockquote><p>Les en-t\u00eates ordonn\u00e9s quelconques permettent d&rsquo;utiliser les instructions SEUIL, BIPLET, TRIPLET, AVANT.<\/p>\n<p>Les en-t\u00eates ordonn\u00e9s r\u00e9guliers permettent d&rsquo;utiliser, en plus, l&rsquo;instruction \u00c9CART.<\/p><\/blockquote>\n<h4>Items sommables<\/h4>\n<p>Imaginons une \u00e9nigme dans laquelle des agriculteurs r\u00e9coltent des pommes et des poires. Il est dans ce cas possible de cr\u00e9er des propositions du type :<\/p>\n<blockquote><p>Alice a r\u00e9colt\u00e9 15 tonnes de fruits.<\/p><\/blockquote>\n<p>L\u00e0 il faut additionner les items de s\u00e9ries: pommes et poires. Voyez l&rsquo;\u00e9nigme <em>Au verger<\/em> sur Actilud.<\/p>\n<p>Si vous souhaitez les utiliser, il faut donc <strong>au minimum deux en-t\u00eates sommables.<\/strong><\/p>\n<blockquote><p>Les en-t\u00eates sommables permettent d&rsquo;utiliser les instructions SOMME et TOTAL.<\/p><\/blockquote>\n<h3>Saisie des valeurs num\u00e9riques des champs<\/h3>\n<p>Une fois les champs coch\u00e9s, le conseiller affichera des pages pour chaque en-t\u00eate avec les items et les valeurs num\u00e9riques qu&rsquo;il a essay\u00e9 de d\u00e9terminer.<\/p>\n<p>Vous devez v\u00e9rifier si les valeurs num\u00e9riques sont correctes, les corriger le cas \u00e9ch\u00e9ant, et compl\u00e9ter les cases vides. Les nombres d\u00e9cimaux sont accept\u00e9s. Il ne faut pas indiquer d&rsquo;unit\u00e9s (kg, km, etc).<\/p>\n<p>Les s\u00e9ries doivent \u00eatre croissantes ou d\u00e9croissantes.<\/p>\n<h2>Taper le titre et introduire le jeu<\/h2>\n<p>C&rsquo;est la derni\u00e8re \u00e9tape. Elle n&rsquo;est pas absolument indispensable tout de suite; vous pourrez revenir dans cette fen\u00eatre plus tard. Le titre et la description seront affich\u00e9s par le conseiller au d\u00e9marrage de l&rsquo;\u00e9nigme. Lorsqu&rsquo;il s&rsquo;agira plus tard de publier l&rsquo;\u00e9nigme sur Actilud, le titre et la description seront indispensables.<\/p>\n<p>Pour revenir \u00e0 tout moment \u00e0 la phase de planification, utilisez l&rsquo;outil menu, puis <em>planifier, <\/em>puis <em>\u00e9diter.<\/em><\/p>\n<figure id=\"attachment_356\" aria-describedby=\"caption-attachment-356\" style=\"width: 64px\" class=\"wp-caption aligncenter\"><img loading=\"lazy\" decoding=\"async\" class=\"wp-image-356\" src=\"https:\/\/actilud.com\/info\/wp-content\/uploads\/2023\/08\/carrefour.png\" alt=\"\" width=\"64\" height=\"60\" \/><figcaption id=\"caption-attachment-356\" class=\"wp-caption-text\">Le menu<\/figcaption><\/figure>\n<p><img loading=\"lazy\" decoding=\"async\" class=\"wp-image-366 alignleft\" src=\"https:\/\/actilud.com\/info\/wp-content\/uploads\/2023\/08\/save.png\" alt=\"\" width=\"29\" height=\"29\" \/>Avant de poursuivre, il est temps de faire une sauvegarde; un fichier est cr\u00e9\u00e9 dans le dossier de t\u00e9l\u00e9chargements de votre ordinateur.<\/p>\n<h2>Un mot sur la confidentialit\u00e9<\/h2>\n<p><em>Tous<\/em> les travaux que vous effectuez dans la partie <em>Int\u00e9grammes <\/em>sont enti\u00e8rement g\u00e9r\u00e9s en local, sur votre propre machine. Aucune information concernant le contenu de votre \u00e9nigme n&rsquo;est transmise au serveur.<!--nextpage--><\/p>\n<h1>B- CODAGE<\/h1>\n<p>Le <em>concepteur<\/em> est un moteur\u00a0 puissant qui est utilis\u00e9 sur Actilud dans les \u00e9nigmes <em>\u00ab\u00a0Jogging\u00a0\u00bb, \u00ab\u00a0Cerf-volant\u00a0\u00bb, \u00ab\u00a0D\u00e9file de mode\u00a0\u00bb, \u00ab\u00a0Char \u00e0 voiles\u00a0\u00bb, \u00ab\u00a0Verger\u00a0\u00bb<\/em>. Il permet de cr\u00e9er des \u00e9nigmes al\u00e9atoires, diff\u00e9rentes, plus ou moins difficiles selon sa programmation.<\/p>\n<p>Il faut donc le <em>programmer<\/em> avec des <em>instructions<\/em> qui sont pr\u00e9sentes dans le s\u00e9lecteur de gauche, qui en propose 9.<\/p>\n<p>Une fois la programmation effectu\u00e9e, le concepteur ex\u00e9cute les instructions et g\u00e9n\u00e8re une \u00e9nigme sous\u00a0 la forme d&rsquo;\u00e9nonc\u00e9s formels. Cette \u00e9nigme est d\u00e9j\u00e0 jouable, mais pour \u00eatre lisible par tous, il faut encore traduire les \u00e9nonc\u00e9s formels en un texte compr\u00e9hensible par tous.<\/p>\n<p>Pour entrer dans la partie codage, cliquez sur l&rsquo;ic\u00f4ne <em>Menu<\/em> <img loading=\"lazy\" decoding=\"async\" class=\"wp-image-356 alignnone\" src=\"https:\/\/actilud.com\/info\/wp-content\/uploads\/2023\/08\/carrefour.png\" alt=\"\" width=\"31\" height=\"29\" \/>dans la barre d&rsquo;outils et, dans la fen\u00eatre de dialogue qui s&rsquo;ouvre, choisissez le bouton <em>Coder.<\/em><\/p>\n<p><img loading=\"lazy\" decoding=\"async\" class=\" wp-image-1291 aligncenter\" src=\"https:\/\/actilud.com\/info\/wp-content\/uploads\/2023\/08\/menu.jpg\" alt=\"\" width=\"681\" height=\"328\" srcset=\"https:\/\/actilud.com\/info\/wp-content\/uploads\/2023\/08\/menu.jpg 752w, https:\/\/actilud.com\/info\/wp-content\/uploads\/2023\/08\/menu-300x144.jpg 300w, https:\/\/actilud.com\/info\/wp-content\/uploads\/2023\/08\/menu-720x347.jpg 720w\" sizes=\"auto, (min-width: 960px) 75vw, 100vw\" \/><br \/>\nOn obtient alors la fen\u00eatre de travail suivante :<\/p>\n<figure id=\"attachment_577\" aria-describedby=\"caption-attachment-577\" style=\"width: 445px\" class=\"wp-caption aligncenter\"><img loading=\"lazy\" decoding=\"async\" class=\"wp-image-577\" src=\"https:\/\/actilud.com\/info\/wp-content\/uploads\/2023\/08\/ecran.png\" alt=\"\" width=\"445\" height=\"339\" srcset=\"https:\/\/actilud.com\/info\/wp-content\/uploads\/2023\/08\/ecran.png 800w, https:\/\/actilud.com\/info\/wp-content\/uploads\/2023\/08\/ecran-300x229.png 300w, https:\/\/actilud.com\/info\/wp-content\/uploads\/2023\/08\/ecran-768x586.png 768w, https:\/\/actilud.com\/info\/wp-content\/uploads\/2023\/08\/ecran-630x480.png 630w\" sizes=\"auto, (min-width: 960px) 75vw, 100vw\" \/><figcaption id=\"caption-attachment-577\" class=\"wp-caption-text\">Le s\u00e9lecteur, le collecteur, le conseiller et la barre d&rsquo;outils.<\/figcaption><\/figure>\n<p>Le collecteur contient et organise les instructions puis\u00e9es dans le s\u00e9lecteur. On peut d\u00e9placer les instructions \u00e0 l&rsquo;int\u00e9rieur du collecteur pour les organiser \u00e0 sa guise.<\/p>\n<p>Pour instancier une instruction, rendez-vous sur son ic\u00f4ne dans le s\u00e9lecteur, cliquez ou pointez sans l\u00e2cher; l&rsquo;instruction appara\u00eet. Il suffit de la glisser dans le collecteur. Seules les instructions pr\u00e9sentes dans le collecteur seront prises en compte pendant l&rsquo;ex\u00e9cution.<\/p>\n<h2>Un programme minimum<\/h2>\n<p>Lan\u00e7ons-nous ! Nous allons cr\u00e9er un programme minimum form\u00e9 <em>d&rsquo;une seule instruction<\/em> qui va g\u00e9n\u00e9rer une \u00e9nigme compl\u00e8te.<\/p>\n<blockquote><p>Les donn\u00e9es de l&rsquo;int\u00e9gramme sont celles de<strong> l&rsquo;exemple pr\u00e9d\u00e9fini<\/strong> : des coureurs arrivent dans un ordre d\u00e9termin\u00e9, portent un maillot de couleur diff\u00e9rente et boivent chacun, \u00e0 l&rsquo;arriv\u00e9e, un jus de fruit diff\u00e9rent.<\/p><\/blockquote>\n<h6>Au d\u00e9marrage du programme: bouton\u00a0<em>utiliser un exemple pr\u00e9-d\u00e9fini;<\/em><\/h6>\n<h6>Ou cliquer sur l&rsquo;ic\u00f4ne menu dans la barre d&rsquo;outils, <em>planifier,<\/em> bouton\u00a0<em>utiliser un exemple pr\u00e9-d\u00e9fini.<\/em><\/h6>\n<h6><\/h6>\n<p>Nous allons utiliser l&rsquo;instruction PLACER : <img loading=\"lazy\" decoding=\"async\" class=\"wp-image-581 aligncenter\" src=\"https:\/\/actilud.com\/info\/wp-content\/uploads\/2023\/08\/icone_placer.png\" alt=\"\" width=\"49\" height=\"49\" srcset=\"https:\/\/actilud.com\/info\/wp-content\/uploads\/2023\/08\/icone_placer.png 200w, https:\/\/actilud.com\/info\/wp-content\/uploads\/2023\/08\/icone_placer-150x150.png 150w\" sizes=\"auto, (min-width: 960px) 75vw, 100vw\" \/>L&rsquo;ic\u00f4ne de l&rsquo;instruction PLACER est le premier dans la liste. Les instructions d\u00e9ploy\u00e9es se pr\u00e9sentent sous la forme d&rsquo;une bande.<\/p>\n<figure id=\"attachment_583\" aria-describedby=\"caption-attachment-583\" style=\"width: 316px\" class=\"wp-caption aligncenter\"><img loading=\"lazy\" decoding=\"async\" class=\"wp-image-583 size-full\" src=\"https:\/\/actilud.com\/info\/wp-content\/uploads\/2023\/08\/placer_bandeau.png\" alt=\"\" width=\"316\" height=\"70\" srcset=\"https:\/\/actilud.com\/info\/wp-content\/uploads\/2023\/08\/placer_bandeau.png 316w, https:\/\/actilud.com\/info\/wp-content\/uploads\/2023\/08\/placer_bandeau-300x66.png 300w\" sizes=\"auto, (min-width: 960px) 75vw, 100vw\" \/><figcaption id=\"caption-attachment-583\" class=\"wp-caption-text\">L&rsquo;instruction PLACER d\u00e9ploy\u00e9e.<\/figcaption><\/figure>\n<p>Lorsque l&rsquo;on clique sur le crayon<img loading=\"lazy\" decoding=\"async\" class=\"alignnone wp-image-652\" src=\"https:\/\/actilud.com\/info\/wp-content\/uploads\/2023\/08\/edit-selectionne.png\" alt=\"\" width=\"29\" height=\"29\" \/>, le conseiller affiche une description de l&rsquo;instruction et permet de la param\u00e9trer. Les changements se r\u00e9percutent sur l&rsquo;affichage d\u00e8s que l&rsquo;on valide la saisie<em>.<\/em><\/p>\n<p>Comme son nom l&rsquo;indique, l&rsquo;instruction va <em>placer <\/em>un signe <em>vrai<\/em> ou <em>faux <\/em>\u00e0 un endroit vide et propice choisi al\u00e9atoirement sur les grilles.<\/p>\n<h3>Choix al\u00e9atoire<\/h3>\n<blockquote><p>Nous allons laisser le programme choisir lui-m\u00eame s&rsquo;il va placer un signe vrai ou un signe faux. Pour cela, dans le champ <em>Choix du signe, <\/em>on choisit <em>al\u00e9atoire.<\/em><\/p><\/blockquote>\n<p>Si on valide \u00e0 ce stade, la bande change d&rsquo;aspect :<img loading=\"lazy\" decoding=\"async\" class=\"size-full wp-image-586 aligncenter\" src=\"https:\/\/actilud.com\/info\/wp-content\/uploads\/2023\/08\/placer_bandeau2.png\" alt=\"\" width=\"313\" height=\"69\" srcset=\"https:\/\/actilud.com\/info\/wp-content\/uploads\/2023\/08\/placer_bandeau2.png 313w, https:\/\/actilud.com\/info\/wp-content\/uploads\/2023\/08\/placer_bandeau2-300x66.png 300w\" sizes=\"auto, (min-width: 960px) 75vw, 100vw\" \/><\/p>\n<h3>Nombre de r\u00e9p\u00e9titions<\/h3>\n<p>Nous ne serions pas tr\u00e8s avanc\u00e9s si notre concepteur se contentait d&rsquo;afficher <em>un seul <\/em>signe. Notre int\u00e9gramme d&rsquo;exemple comporte 6 grilles 5&#215;5, soit 150 cases. Il faut donc que les 150 cases soient remplies \u00e0 l&rsquo;issue du travail du concepteur. C&rsquo;est le r\u00f4le du champ <em>Maximum.<\/em> Nous allons donc changer le nombre maximum de r\u00e9p\u00e9titions.<\/p>\n<blockquote><p>C&rsquo;est un maximum mais il ne sera pas forc\u00e9ment atteint. Pour ma part, lorsque je veux boucler sur une instruction jusqu&rsquo;\u00e0 la fin, je tape 1000, quelle que soit la taille de l&rsquo;int\u00e9gramme.<\/p><\/blockquote>\n<p>Tapez donc 1000 dans le champ <em>Maximum<\/em> et validez.<\/p>\n<p><img loading=\"lazy\" decoding=\"async\" class=\"aligncenter wp-image-590 size-full\" src=\"https:\/\/actilud.com\/info\/wp-content\/uploads\/2023\/08\/placer_bandeau2-1.png\" alt=\"\" width=\"314\" height=\"68\" srcset=\"https:\/\/actilud.com\/info\/wp-content\/uploads\/2023\/08\/placer_bandeau2-1.png 314w, https:\/\/actilud.com\/info\/wp-content\/uploads\/2023\/08\/placer_bandeau2-1-300x65.png 300w\" sizes=\"auto, (min-width: 960px) 75vw, 100vw\" \/>Comme on peut le constater, la modification est r\u00e9percut\u00e9e imm\u00e9diatement apr\u00e8s la validation.<\/p>\n<blockquote><p>Si le maximum est trop faible, le concepteur va multiplier les tentatives de cr\u00e9ations mais n&rsquo;arrivera jamais \u00e0 cr\u00e9er une \u00e9nigme compl\u00e8te. Il faut alors interrompre l&rsquo;ex\u00e9cution et modifier le programme.<\/p><\/blockquote>\n<h3>\u00c0 la recherche de solitude ?<\/h3>\n<p>Si on coche la case <em>Isol\u00e9, <\/em>les cases choisies al\u00e9atoirement seront \u00e0 une intersection dont la ligne et la colonne sont compl\u00e8tement vides: pas de signe <em>faux<\/em>, pas de bool\u00e9en et \u00e9videmment pas de signe <em>vrai<\/em>. Cocher <em>isol\u00e9 <\/em>peut \u00eatre utile si on souhaite rendre l&rsquo;\u00e9nigme un peu plus int\u00e9ressante mais le temps de calcul sera allong\u00e9.<\/p>\n<blockquote><p>Dans certains cas l&rsquo;utilisation de <em>isol\u00e9 <\/em>rend les calculs impossibles; c&rsquo;est le cas ici si vous mettez\u00a0<em>Choix du signe\u00a0<\/em>\u00e0 <em>faux<\/em> et\u00a0<em>isol\u00e9\u00a0<\/em>\u00e0 vrai. Avec cette seule instruction ainsi param\u00e9tr\u00e9e le solveur ne pourra jamais cr\u00e9er une \u00e9nigme.<\/p><\/blockquote>\n<h2>Ex\u00e9cution !<\/h2>\n<p>Cliquez sur le bouton <em>propositions formelles <\/em>du conseiller. S&rsquo;il n&rsquo;appara\u00eet pas, cliquez sur l&rsquo;ic\u00f4ne en forme de crayon de l&rsquo;instruction en cours d&rsquo;\u00e9dition, dans le collecteur.<\/p>\n<p>Le conseiller propose deux niveaux de difficult\u00e9. Laissez le niveau <em>standard.<\/em> V\u00e9rifiez que le champ <em>Nombre maximum de tentatives avant reprise <\/em>contient 10000 (dix-mille) et validez. Apr\u00e8s quelques secondes de travail, le r\u00e9sultat devrait appara\u00eetre :<\/p>\n<p><img loading=\"lazy\" decoding=\"async\" class=\"size-full wp-image-597 aligncenter\" src=\"https:\/\/actilud.com\/info\/wp-content\/uploads\/2023\/08\/codage_generique-1.png\" alt=\"\" width=\"554\" height=\"626\" srcset=\"https:\/\/actilud.com\/info\/wp-content\/uploads\/2023\/08\/codage_generique-1.png 554w, https:\/\/actilud.com\/info\/wp-content\/uploads\/2023\/08\/codage_generique-1-265x300.png 265w, https:\/\/actilud.com\/info\/wp-content\/uploads\/2023\/08\/codage_generique-1-425x480.png 425w\" sizes=\"auto, (min-width: 960px) 75vw, 100vw\" \/><\/p>\n<p>Voil\u00e0 une liste de propositions formelles. Elles sont d\u00e9j\u00e0 utilisables par le solveur.<\/p>\n<p>C&rsquo;est ma liste ! La v\u00f4tre est forc\u00e9ment diff\u00e9rente, puisque tout ceci est al\u00e9atoire !<\/p>\n<p>Utilisez le bouton <em>Autocompl\u00e9ter<\/em> puis cliquez sur une proposition pour la mat\u00e9rialiser dans la grille.<\/p>\n<h3>Explication de texte<\/h3>\n<p>Mais que veut dire la ligne :<\/p>\n<blockquote><p>Blanc \u2229 Pomme = Vrai<\/p><\/blockquote>\n<h6>L&rsquo;intersection de la ligne <em>blanc<\/em> et de la colonne <em>pomme <\/em> contient un signe <em>vrai.<\/em><\/h6>\n<p>De plus il n&rsquo;y a pas de confusion possible. Si jamais il y a un risque de confusion avec deux items identiques (comme la couleur orange d&rsquo;un maillot, qui peut se confondre avec le jus d&rsquo;orange), le concepteur indiquera syst\u00e9matiquement l&rsquo;en-t\u00eate correspondant :<\/p>\n<blockquote><p>Maillot Orange \u2229 Jus de fruit Orange = Faux<\/p><\/blockquote>\n<h3><span id=\"Loc-Bis_repetita_placent\"><span class=\"lang-la\" dir=\"ltr\" lang=\"la\">Bis repetita placent<\/span><\/span><\/h3>\n<p>Que signifie le champ <em>Nombre maximum de tentatives avant reprise\u00a0 <\/em>du conseiller, dans lequel nous avons mis la valeur de 10000\u00a0?<\/p>\n<p>Le concepteur a un fonctionnement r\u00e9cursif. Il peut arriver qu&rsquo;il se fourvoie dans un calcul sans issue. Le nombre indiqu\u00e9 est le <em>nombre maximum d&rsquo;\u00e9valuations que l&rsquo;on veut bien tol\u00e9rer<\/em> <em>pour une configuration <\/em>avant que le concepteur ne recommence le programme &#8211; il fait une nouvelle tentative.<\/p>\n<p>On le voit quand le compteur de tentatives augmente.<\/p>\n<p>Si vous mettez une valeur trop faible, le concepteur n&rsquo;aura pas la possibilit\u00e9 de faire toutes les \u00e9valuations n\u00e9cessaires pour trouver une \u00e9nigme viable.<\/p>\n<p>Donc, si vous voyez le nombre de tentatives augmenter trop rapidement, c&rsquo;est que le nombre d&rsquo;\u00e9valuations allou\u00e9 est trop faible. Interrompez le processus et augmentez la valeur.<\/p>\n<p>\u00c0 l&rsquo;inverse,si la valeur est trop \u00e9lev\u00e9e, le concepteur peut se perdre dans ses calculs. Diminuez la valeur.<\/p>\n<p>Tout d\u00e9pend bien s\u00fbr du programme.<\/p>\n<p>Pour notre programme simple, la valeur de 10000 est parfaite car il faut beaucoup d&rsquo;\u00e9valuations mais le risque de se fourvoyer est faible. Mais pour un programme plus complexe, il faudra sans doute baisser cette valeur. Souvent la valeur 1000 est un bon compromis pour les programmes un peu sophistiqu\u00e9s.<\/p>\n<blockquote><p><strong>Donc, le <em>nombre maximum de tentatives<\/em> permet de r\u00e9gler le concepteur <\/strong>:<\/p>\n<ul>\n<li><strong>on diminue la valeur <\/strong>si les calculs sont trop longs;<\/li>\n<li><strong>on augmente la valeur<\/strong> si le nombre de tentatives explose !<\/li>\n<\/ul>\n<\/blockquote>\n<h3>Standard ou expert ?<\/h3>\n<p>Pour le moment, l&rsquo;\u00e9diteur n&rsquo;offre que deux choix de fonctionnement : <em>standard<\/em> ou <em>expert<\/em>.<\/p>\n<h4>Mode standard<\/h4>\n<p>Adapt\u00e9 aux \u00e9nigmes simples.<\/p>\n<ul>\n<li>les instructions faisant appara\u00eetre les signes <em>vrai<\/em> sont privil\u00e9gi\u00e9es;<\/li>\n<li>les techniques avanc\u00e9es, comme la recherche de l&rsquo;invariance ou de l&rsquo;implication, ne sont pas utilis\u00e9es.<\/li>\n<\/ul>\n<p>Pour une programmation donn\u00e9e, les \u00e9nigmes produites seront assez courtes.<\/p>\n<h4>Mode expert<\/h4>\n<p>Adapt\u00e9 aux \u00e9nigmes difficiles. On produit en g\u00e9n\u00e9ral des \u00e9nigmes plus longues.<\/p>\n<ul>\n<li>le concepteur essaye de maintenir les bool\u00e9ens le plus longtemps possible : les solutions rapides sont donc rejet\u00e9es;<\/li>\n<li>les techniques de r\u00e9solution avanc\u00e9es sont effectu\u00e9es;<\/li>\n<li>l&rsquo;\u00e9nigme doit\u00a0 \u00eatre r\u00e9solue avec au moins un appel \u00e0 une de ces techniques avanc\u00e9es; sans quoi elle est rejet\u00e9e et consid\u00e9r\u00e9e comme \u00ab\u00a0trop simple\u00a0\u00bb.<\/li>\n<\/ul>\n<blockquote><p>Dans notre exemple l&rsquo;utilisation du mode <em>expert<\/em> est possible si on place uniquement des signes <em>faux;\u00a0<\/em> mais il faut en g\u00e9n\u00e9ral attendre assez longtemps : les\u00a0 techniques de r\u00e9solution avanc\u00e9e sont peu disponibles car ici, notre programmation (une seule instruction toute simple que l&rsquo;on r\u00e9p\u00e8te) est basique. En mode <em>expert<\/em> le concepteur multiplie les tentatives et refuse celles consid\u00e9r\u00e9es comme <em>trop faciles. <\/em>Mais si vous patientez suffisamment il finira par trouver une solution&#8230; qui sera tr\u00e8s longue.<\/p><\/blockquote>\n<h2>Un programme simple \u00e0 partir de 8 ans<\/h2>\n<p>Avec un peu d&rsquo;aide et des explications, un enfant de 8 ans devrait y arriver. L&rsquo;int\u00e9r\u00eat p\u00e9dagogique, outre le codage, est surtout de l&rsquo;amener \u00e0 r\u00e9diger des \u00e9nonc\u00e9s de logique.<\/p>\n<p>Notre nouveau programme contient deux instructions: l&rsquo;instruction PLACER, que nous venons de voir, et l&rsquo;instruction suivante, SEUIL.<\/p>\n<p>L&rsquo;instruction SEUIL doit \u00eatre plac\u00e9e en premier.<\/p>\n<p>Comme nous utilisons l&rsquo;exemple pr\u00e9d\u00e9fini, cette instruction portera uniquement sur la s\u00e9rie <em>Classement,<\/em> qui est la seule \u00e0 poss\u00e9der une relation d&rsquo;ordre.<\/p>\n<p>Que fait l&rsquo;instruction SEUIL ? Elle introduit une limite dans une s\u00e9rie, pour un item donn\u00e9. En voici un exemple :<\/p>\n<blockquote><p>Alice est arriv\u00e9e avant le 3\u00e8me.<\/p><\/blockquote>\n<p>Cette proposition place trois signes faux, \u00e0 l&rsquo;intersection d&rsquo;Alice et de 3\u00e8me, de quatri\u00e8me et de cinqui\u00e8me.<\/p>\n<figure id=\"attachment_633\" aria-describedby=\"caption-attachment-633\" style=\"width: 306px\" class=\"wp-caption aligncenter\"><img loading=\"lazy\" decoding=\"async\" class=\"wp-image-633 \" src=\"https:\/\/actilud.com\/info\/wp-content\/uploads\/2023\/08\/codage_generique.png\" alt=\"\" width=\"306\" height=\"306\" srcset=\"https:\/\/actilud.com\/info\/wp-content\/uploads\/2023\/08\/codage_generique.png 347w, https:\/\/actilud.com\/info\/wp-content\/uploads\/2023\/08\/codage_generique-300x300.png 300w, https:\/\/actilud.com\/info\/wp-content\/uploads\/2023\/08\/codage_generique-150x150.png 150w\" sizes=\"auto, (min-width: 960px) 75vw, 100vw\" \/><figcaption id=\"caption-attachment-633\" class=\"wp-caption-text\">Alice est arriv\u00e9e avant le troisi\u00e8me&#8230;<\/figcaption><\/figure>\n<p>R\u00e9glages conseill\u00e9s :<\/p>\n<blockquote><p>SEUIL :<\/p>\n<ul>\n<li>isol\u00e9: vrai<\/li>\n<li>nombre maximum de r\u00e9p\u00e9titions : 10<\/li>\n<\/ul>\n<p>PLACER:<\/p>\n<ul>\n<li>choix du signe : al\u00e9atoire<\/li>\n<li>isol\u00e9 : faux<\/li>\n<li>nombre maximum de r\u00e9p\u00e9titions : 1000<\/li>\n<\/ul>\n<\/blockquote>\n<p>En fait, comme nous demandons l&rsquo;isolation pour SEUIL, il n&rsquo;y aura jamais 10 r\u00e9p\u00e9titions. Mais peu importe si ce maximum\u00a0 n&rsquo;est jamais atteint, ce que nous voulons c&rsquo;est obtenir un grand nombre de propositions formelles pour cette instruction.<\/p>\n<p>Voici comment se pr\u00e9sente notre programme avant son ex\u00e9cution :<\/p>\n<p><img loading=\"lazy\" decoding=\"async\" class=\"size-full wp-image-636 aligncenter\" src=\"https:\/\/actilud.com\/info\/wp-content\/uploads\/2023\/08\/codage_generique-3.png\" alt=\"\" width=\"316\" height=\"171\" srcset=\"https:\/\/actilud.com\/info\/wp-content\/uploads\/2023\/08\/codage_generique-3.png 316w, https:\/\/actilud.com\/info\/wp-content\/uploads\/2023\/08\/codage_generique-3-300x162.png 300w\" sizes=\"auto, (min-width: 960px) 75vw, 100vw\" \/><\/p>\n<blockquote><p>Pour terminer un programme, il est recommand\u00e9 de mettre une instruction destin\u00e9e \u00e0 \u00ab\u00a0boucher les trous\u00a0\u00bb. Ici nous utilisons PLACER \u00ab\u00a0al\u00e9atoire\u00a0\u00bb, mais, dans des programmes plus sophistiqu\u00e9s, un PLACER \u00ab\u00a0faux\u00a0\u00bb r\u00e9p\u00e9t\u00e9 1000 fois est recommand\u00e9.<\/p><\/blockquote>\n<p>Les r\u00e9glages sont <em>standard <\/em>et le nombre maximum de tentatives est de 10000.<\/p>\n<p>On devrait obtenir un \u00e9nonc\u00e9 formel avec une quinzaine de propositions,comme l&rsquo;exemple ci-dessous.<sub><img loading=\"lazy\" decoding=\"async\" class=\"wp-image-634 size-full aligncenter\" src=\"https:\/\/actilud.com\/info\/wp-content\/uploads\/2023\/08\/codage_generique-2-e1692552769679.png\" alt=\"\" width=\"553\" height=\"621\" srcset=\"https:\/\/actilud.com\/info\/wp-content\/uploads\/2023\/08\/codage_generique-2-e1692552769679.png 553w, https:\/\/actilud.com\/info\/wp-content\/uploads\/2023\/08\/codage_generique-2-e1692552769679-267x300.png 267w, https:\/\/actilud.com\/info\/wp-content\/uploads\/2023\/08\/codage_generique-2-e1692552769679-427x480.png 427w\" sizes=\"auto, (min-width: 960px) 75vw, 100vw\" \/><\/sub><\/p>\n<blockquote><p>Raisin &gt; 3<\/p>\n<p>La personne qui boit du jus de raisin est arriv\u00e9e apr\u00e8s la troisi\u00e8me place.<\/p><\/blockquote>\n<h2>Comment travaille le concepteur ?<\/h2>\n<p>Pour les curieux, voici comment \u00e7a marche.<\/p>\n<p>Soit un programme form\u00e9 par une s\u00e9rie P=(i<sub>1<\/sub>, i<sub>2<\/sub>, i<sub>3<\/sub>, &#8230;. i<sub>n<\/sub>) d&rsquo;instructions \u00e9l\u00e9mentaires. Une instruction \u00e9l\u00e9mentaire est une instruction qui ne s\u2019ex\u00e9cute qu&rsquo;une seule fois. Lorsqu&rsquo;une instruction est r\u00e9p\u00e9t\u00e9e n fois par le programme, cela signifie qu&rsquo;il y a n instructions \u00e9l\u00e9mentaires \u00e0 la suite qui vont s&rsquo;ex\u00e9cuter.<\/p>\n<p>Chaque instruction, une fois ex\u00e9cut\u00e9e, produit une occurrence tir\u00e9e au hasard parmi toutes celles possibles. Par exemple, pour l&rsquo;instruction <em>PLACER faux<\/em>, il y a, en gros, 150 occurrences possibles puisqu&rsquo;il y a 150 cases dans notre grille (en fait il y en a moins puisqu&rsquo;il y a des inf\u00e9rences calcul\u00e9es : lorsqu&rsquo;on place un signe \u00ab\u00a0vrai\u00a0\u00bb il y a automatiquement 8 cases \u00e0 faux).<\/p>\n<p>Le concepteur lance une occurrence de i<sub>1<\/sub>. Si elle r\u00e9ussit, il lance une occurrence de i<sub>2<\/sub>, puis de i<sub>3<\/sub>, et ainsi de suite.<\/p>\n<p>Si, arriv\u00e9 \u00e0 l&rsquo;occurrence i<sub>p<\/sub>, il y a un \u00e9chec (impossible de r\u00e9soudre l&rsquo;int\u00e9gramme car il y a des contradictions), le concepteur essaye une autre occurrence de i<sub>p<\/sub>, choisie parmi toutes celles qui restent disponibles. Si aucune ne r\u00e9ussit, le concepteur conserve la s\u00e9rie (i1, i2, &#8230; i<sub>p-2<\/sub>) et\u00a0 calcule une nouvelle occurrence de\u00a0 i<sub>p-1<\/sub> (puisque \u00ab\u00a0sous\u00a0\u00bb l&rsquo;occurrence pr\u00e9c\u00e9dente i<sub>p-1<\/sub> aucun i<sub>p<\/sub> ne passe), puis il continue avec i<sub>p<\/sub>.<sub><br \/>\n<\/sub><\/p>\n<p>Voil\u00e0 pourquoi certains calculs peuvent prendre un temps \u00e9norme. Dans ce cas, il faut limiter le nombre d&rsquo;\u00e9valuations. Le hasard faisant bien les choses, on finit toujours par trouver une solution acceptable en re-tentant de nouveaux calculs depuis le d\u00e9but, plut\u00f4t qu&rsquo;en s&rsquo;acharnant \u00e0 finir des calculs titanesques qui pourraient demander des mill\u00e9naires.<!--nextpage--><\/p>\n<h1>C- R\u00c9DIGER<\/h1>\n<p>Et voici la partie la plus r\u00e9cr\u00e9ative ! il s&rsquo;agit de transformer les instructions formelles obtenues \u00e0 l&rsquo;\u00e9tape pr\u00e9c\u00e9dente, en un texte clair compr\u00e9hensible par tous.<\/p>\n<p><img loading=\"lazy\" decoding=\"async\" class=\" wp-image-356 alignleft\" src=\"https:\/\/actilud.com\/info\/wp-content\/uploads\/2023\/08\/carrefour.png\" alt=\"\" width=\"31\" height=\"29\" \/>On y acc\u00e8de par le menu, <em>r\u00e9diger. <\/em><\/p>\n<p>L&rsquo;acc\u00e8s est possible uniquement si on a g\u00e9n\u00e9r\u00e9 une liste de propositions formelles \u00e0 l&rsquo;\u00e9tape pr\u00e9c\u00e9dente.<\/p>\n<p><img loading=\"lazy\" decoding=\"async\" class=\"wp-image-651 aligncenter\" src=\"https:\/\/actilud.com\/info\/wp-content\/uploads\/2023\/08\/integram_programmation.png\" alt=\"\" width=\"654\" height=\"460\" srcset=\"https:\/\/actilud.com\/info\/wp-content\/uploads\/2023\/08\/integram_programmation.png 958w, https:\/\/actilud.com\/info\/wp-content\/uploads\/2023\/08\/integram_programmation-300x211.png 300w, https:\/\/actilud.com\/info\/wp-content\/uploads\/2023\/08\/integram_programmation-768x540.png 768w, https:\/\/actilud.com\/info\/wp-content\/uploads\/2023\/08\/integram_programmation-682x480.png 682w\" sizes=\"auto, (min-width: 960px) 75vw, 100vw\" \/><\/p>\n<p>Le s\u00e9lecteur se r\u00e9sume \u00e0 une seule ic\u00f4ne: le signe +.<\/p>\n<p>Le collecteur est le grand rectangle blanc imm\u00e9diatement \u00e0 c\u00f4t\u00e9. C&rsquo;est l\u00e0 que nous allons placer nos propres \u00e9nonc\u00e9s. Comme avant, on peut d\u00e9placer un \u00e9nonc\u00e9. Pour supprimer un \u00e9nonc\u00e9, on le glisse dans le s\u00e9lecteur.<\/p>\n<p>Pour obtenir un \u00e9nonc\u00e9 vide, il faut utiliser le s\u00e9lecteur comme d&rsquo;habitude, donc effectuer <strong>un glisser-l\u00e2cher<\/strong>.<\/p>\n<p>L&rsquo;\u00e9nonc\u00e9 est, l\u00e0 encore, sous la forme d&rsquo;un rectangle. On acc\u00e8de \u00e0 l&rsquo;\u00e9dition de son contenu en cliquant sur le bouton :<img loading=\"lazy\" decoding=\"async\" class=\"alignnone wp-image-652\" src=\"https:\/\/actilud.com\/info\/wp-content\/uploads\/2023\/08\/edit-selectionne.png\" alt=\"\" width=\"36\" height=\"36\" \/><\/p>\n<p>L&rsquo;\u00e9dition se passe dans le conseiller. Deux champs sont disponibles :<\/p>\n<ul>\n<li>num\u00e9ros: indiquer les num\u00e9ros des propositions formelles auxquelles on fait r\u00e9f\u00e9rence. Les num\u00e9ros doivent \u00eatre s\u00e9par\u00e9s par des virgules. Ils seront utilis\u00e9s par l&rsquo;autocompl\u00e9tion &#8211; la possibilit\u00e9 de remplir une grille automatiquement \u00e0 partir de l&rsquo;\u00e9nonc\u00e9.<\/li>\n<li>\u00e9nonc\u00e9: l&rsquo;\u00e9nonc\u00e9 \u00e0 \u00e9crire<\/li>\n<\/ul>\n<p>On constate donc qu&rsquo;un \u00e9nonc\u00e9 peut regrouper plusieurs propositions formelles.<\/p>\n<p>Voici quelques exemples de traductions de quelques propositions formelles prises une \u00e0 une.<\/p>\n<blockquote><p>Alice &gt; 2<br \/>\nAlice arrive apr\u00e8s la deuxi\u00e8me place.<\/p>\n<p>Rouge &lt; 4<br \/>\nLa personne qui porte un maillot rouge arrive avant la quatri\u00e8me.<\/p>\n<p>Raisin &gt;2<br \/>\nLa personne qui boit du jus de raisin arrive apr\u00e8s la deuxi\u00e8me place.<\/p>\n<p>Citron \u2229 3 = vrai<br \/>\nLa personne qui boit du jus de citron est troisi\u00e8me.<\/p><\/blockquote>\n<h2>Regrouper des propositions formelles<\/h2>\n<p>C&rsquo;est possible et m\u00eame conseill\u00e9.<\/p>\n<p>Prenons par exemple les deux propositions suivantes<\/p>\n<blockquote><p>15 : Enzo \u2229 vert = vrai<br \/>\n19 : Enzo \u2229 citron = faux<\/p><\/blockquote>\n<p>Ces deux propositions formelles peuvent se rassembler et donner l&rsquo;\u00e9nonc\u00e9 suivant :<\/p>\n<blockquote><p>Enzo, qui porte un maillot vert, ne boit pas de jus de citron.<\/p><\/blockquote>\n<p>Dans la partie\u00a0<em>num\u00e9ros<\/em> on indique donc les num\u00e9ros des deux propositions formelles concern\u00e9es, s\u00e9par\u00e9s par des virgules :\u00a0 <em>15,19\u00a0<\/em><\/p>\n<p>Mais attention ! Il y a des pi\u00e8ges.<\/p>\n<h3>Le pi\u00e8ge des inf\u00e9rences<\/h3>\n<p>Observons les instructions 6 et 7 de notre illustration:<\/p>\n<blockquote><p>6 &#8211; Citron \u2229 3 = vrai<br \/>\n7 &#8211; Carole \u2229 3 = vrai<\/p><\/blockquote>\n<p>L&rsquo;amateur de jus de citron est troisi\u00e8me . Carole est troisi\u00e8me. Donc Carole boit du jus de citron. C&rsquo;est tout \u00e0 fait logique. Mais attention: cela ne figure pas dans les propositions formelles.<\/p>\n<p>Une phrase comme :<\/p>\n<blockquote><p>Carole est troisi\u00e8me et boit du jus de citron<\/p><\/blockquote>\n<p>que l&rsquo;on aurait tendance \u00e0 \u00e9crire, se traduit par ceci, en premier jet :<\/p>\n<p><img loading=\"lazy\" decoding=\"async\" class=\"alignnone size-full wp-image-659\" src=\"https:\/\/actilud.com\/info\/wp-content\/uploads\/2023\/08\/integram_programmation1.png\" alt=\"\" width=\"870\" height=\"865\" srcset=\"https:\/\/actilud.com\/info\/wp-content\/uploads\/2023\/08\/integram_programmation1.png 870w, https:\/\/actilud.com\/info\/wp-content\/uploads\/2023\/08\/integram_programmation1-300x298.png 300w, https:\/\/actilud.com\/info\/wp-content\/uploads\/2023\/08\/integram_programmation1-150x150.png 150w, https:\/\/actilud.com\/info\/wp-content\/uploads\/2023\/08\/integram_programmation1-768x764.png 768w, https:\/\/actilud.com\/info\/wp-content\/uploads\/2023\/08\/integram_programmation1-483x480.png 483w\" sizes=\"auto, (min-width: 960px) 75vw, 100vw\" \/><\/p>\n<p>Alors que le solveur va afficher cela :<\/p>\n<p><img loading=\"lazy\" decoding=\"async\" class=\"alignnone size-full wp-image-660\" src=\"https:\/\/actilud.com\/info\/wp-content\/uploads\/2023\/08\/integram_programmation2.png\" alt=\"\" width=\"871\" height=\"853\" srcset=\"https:\/\/actilud.com\/info\/wp-content\/uploads\/2023\/08\/integram_programmation2.png 871w, https:\/\/actilud.com\/info\/wp-content\/uploads\/2023\/08\/integram_programmation2-300x294.png 300w, https:\/\/actilud.com\/info\/wp-content\/uploads\/2023\/08\/integram_programmation2-768x752.png 768w, https:\/\/actilud.com\/info\/wp-content\/uploads\/2023\/08\/integram_programmation2-490x480.png 490w\" sizes=\"auto, (min-width: 960px) 75vw, 100vw\" \/><\/p>\n<p>C&rsquo;est tr\u00e8s diff\u00e9rent ! M\u00eame si, par la suite, cela revient effectivement au m\u00eame.<\/p>\n<p>Donc voil\u00e0 comment il faudrait traduire les deux propositions:<\/p>\n<blockquote><p>La personne qui est troisi\u00e8me boit du jus de citron et s&rsquo;appelle Carole.<\/p><\/blockquote>\n<p>Cette fois nous respectons \u00e0 la lettre les propositions formelles.<\/p>\n<p>Pour y arriver, il y a une r\u00e8gle assez simple \u00e0 respecter:<\/p>\n<blockquote><p>le <strong>point commun<\/strong> entre des propositions <strong>\u2229<\/strong> devient <strong>le sujet de notre \u00e9nonc\u00e9.<br \/>\n<\/strong><\/p><\/blockquote>\n<p>Essayez avec ces deux propositions formelles analogues suivantes :<\/p>\n<blockquote><p>8 : Vert \u2229 Pomme = vrai<br \/>\n9 : Bob \u2229\u00a0 Vert = vrai<\/p><\/blockquote>\n<p>Vous avez trouv\u00e9 ?<\/p>\n<h6>La solution est : la personne qui porte le maillot vert boit du jus de pomme et s&rsquo;appelle Bob.<br \/>\nFormulation moins lourde : Le maillot vert, Bob, boit du jus de pomme.<\/h6>\n<p>On d\u00e9couvre ici, tout l&rsquo;int\u00e9r\u00eat des int\u00e9grammes lorsqu&rsquo;il s&rsquo;agit d&rsquo;\u00e9crire des phrases concises et \u00e9l\u00e9gantes \u00e0 la fois. C&rsquo;est un exercice qui n&rsquo;est pas si simple; mais par contre il est tr\u00e8s facile \u00e0\u00a0 corriger chez un \u00e9l\u00e8ve, car l&rsquo;objectif est cibl\u00e9 et il ne se perd pas dans les m\u00e9andres d&rsquo;une production \u00e9crite pl\u00e9thorique.<\/p>\n<h3>Regroupements \u00e0 gogo<\/h3>\n<p>Regroupons les propositions 2 et 13 :<\/p>\n<p>2 : Rouge &lt; 4<br \/>\n13 : Blanc \u2229 4 = faux.<\/p>\n<p>Les instructions sont diff\u00e9rentes ici; donc il n&rsquo;est pas n\u00e9cessaire de consid\u00e9rer la valeur 4 comme un sujet.<\/p>\n<p>Ceci donne :<\/p>\n<h6>Le maillot rouge est arriv\u00e9 avant le quatri\u00e8me, qui ne porte pas de maillot blanc.<\/h6>\n<p>Et voil\u00e0 une petite subordonn\u00e9e relative. L&rsquo;art de faire de la grammaire avec la logique. Si malgr\u00e9 tout je souhaite mettre le 4 en sujet :<\/p>\n<blockquote><p>Le quatri\u00e8me, qui ne porte pas de maillot blanc, est arriv\u00e9 apr\u00e8s le maillot rouge.<\/p><\/blockquote>\n<p>Regroupons 1 et 12 :<\/p>\n<blockquote><p>1 : Alice &gt; 2<br \/>\n12 : Alice \u2229 5 = faux<\/p><\/blockquote>\n<h6>ALice, qui est arriv\u00e9e apr\u00e8s le second, n&rsquo;est pas cinqui\u00e8me.<br \/>\nAlice, qui est arriv\u00e9e apr\u00e8s le second concurrent, n&rsquo;est pas la derni\u00e8re.<\/h6>\n<h2>Le genre<\/h2>\n<p>Si vous allez sur l&rsquo;\u00e9nigme \u00ab\u00a0Le d\u00e9fil\u00e9 de mode\u00a0\u00bb, vous remarquerez que j&rsquo;ai fait particuli\u00e8rement attention au genre. L&rsquo;\u00e9nigme est truff\u00e9e d&rsquo;expressions comme :<\/p>\n<blockquote><p>Le\/La chanteur\/chanteuse a plus de 26 ans.<\/p><\/blockquote>\n<p>Cela alourdit consid\u00e9rablement l&rsquo;\u00e9criture. Mais je l&rsquo;ai fait pour ne pas induire les visiteurs en erreur. C&rsquo;est une \u00e9criture habituelle dans les int\u00e9grammes.<\/p>\n<p>Mais pour all\u00e9ger l&rsquo;\u00e9criture et rester dans les clous grammaticaux, on utilise la r\u00e8gle du <em>neutre<\/em> en cas d&rsquo;ind\u00e9termination. Il se trouve que la forme neutre rev\u00eat, en Fran\u00e7ais, la forme du masculin &#8211; ce n&rsquo;est pas pour autant que \u00ab\u00a0le masculin l&#8217;emporte\u00a0\u00bb comme on l&rsquo;entend h\u00e9las trop souvent dire.<\/p>\n<h1>Et la suite ?<\/h1>\n<p>Pour le moment on peut juste cr\u00e9er ses propres int\u00e9grammes personnalis\u00e9s et les stocker sur son propre ordinateur. J&rsquo;\u00e9tudie la possibilit\u00e9 de les publier sur le site, pour celles et ceux qui le d\u00e9sirent. Wait and see&#8230;<\/p>\n<p>&nbsp;<\/p>\n","protected":false},"excerpt":{"rendered":"<p>Ou plut\u00f4t de A \u00e0 C car il n&rsquo;y a que trois \u00e9tapes ! Utilisons pour cela l&rsquo;\u00e9diteur d&rsquo;int\u00e9grammes du site Actilud.<\/p>\n","protected":false},"author":1,"featured_media":0,"comment_status":"closed","ping_status":"closed","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[7],"tags":[],"class_list":["post-500","post","type-post","status-publish","format-standard","hentry","category-integrammes"],"_links":{"self":[{"href":"https:\/\/actilud.com\/info\/wp-json\/wp\/v2\/posts\/500","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/actilud.com\/info\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/actilud.com\/info\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/actilud.com\/info\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/actilud.com\/info\/wp-json\/wp\/v2\/comments?post=500"}],"version-history":[{"count":127,"href":"https:\/\/actilud.com\/info\/wp-json\/wp\/v2\/posts\/500\/revisions"}],"predecessor-version":[{"id":2694,"href":"https:\/\/actilud.com\/info\/wp-json\/wp\/v2\/posts\/500\/revisions\/2694"}],"wp:attachment":[{"href":"https:\/\/actilud.com\/info\/wp-json\/wp\/v2\/media?parent=500"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/actilud.com\/info\/wp-json\/wp\/v2\/categories?post=500"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/actilud.com\/info\/wp-json\/wp\/v2\/tags?post=500"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}