We present a locale that abstracts over the necessary ingredients for constructing a minimal bad sequence, as required in classical proofs of Higman’s lemma and Kruskal’s tree theorem.

à la recherche du temps perdu, chef-d'œuvre de marcel proust et  analyse littéraire et sociologique de la france au début du siècle précédent, est bâti par des mots spécifiques qui reflètent la culture française de son temps. la traduction de ces mots exige l'application de certaines stratégies. cette étude s’est concentrée sur la traduction de quelques noms propres des personnages fictifs et r...