Automne 2005 IA41UTBM Corrige du Median1.1 E est une liste1.2 E est non vide1.3 Ie reste de E est non vide1.4 Ie reste du reste de E est vide1.5 la tete de E est une liste1.6 la tete du reste de E est une liste2.1. Definition directe :Pour tout couple C et tout couple de listes CL,double-ajout C, CL = mise-en-liste aiout tete C tete CL, aiout tete reste C tete reste CL2.2.Bonus Definition applicative :double-ajout C, CL = tenne-apres-tenne ajout, C, CL3.1. Simulation recursive avec pile:maitre-couple (Uean 3076) (claude 3028) (marina 3088» ->double-ajout Uean 3076) maitre-couple ( (claude 3028) (marina 3088» -> Uean 3076) double-ajout (claude 3028) maitre-couple ((marina 3088»-> Uean 3076) 3028) double-ajout (marina 3088) maitre-couple ()->double-ajout Uean 3076) double-ajout (claude 3028) 3088) (liste-vide liste-vide)->double-ajout Uean 3076) double-ajout (claude 3028) ((marina) (3088»-> Uean 3076) ((claude marina) (3028 3088»->( Uean claude marina) (3076 3028 3088) )Definition recursive :Pour toute liste associative AL :AL = liste-vide -> maitre-couple AL = (liste-vide liste-vide)AL -:f -> AL = double-ajout tete AL, maitre-couple reste AL3.2 Simulation recursive avec un parametre-resultat CL initialise a (liste-vide liste-vide) :maitre-couple (Uean 3076) (claude 3028) (marina 3088» (liste-vide liste-vide)-> ((claude 3028) (marina 3088» double-ajout Uean 3076) (liste-vide liste-vide)-> ( (claude 3028) 3088) ) ( Uean) (3076) ) ->maitre-couple ( ...