Détermination borélienne épisode n+1

Salut à tous,

J'ouvre un nouveau fil, car le précédent avait pas mal dévié, depuis la traduction de "paradis cantorien" jusqu'à la détermination analytique, lol.

Voici donc le résultat des courses concernant la détermination borélienne :

https://drive.google.com/file/d/1qZtWE2kiyCT0JGzHEB6zzjLiS3GtDcAB/view

C'est à partir de la page 48.
A noter (mais tout le monde s'en doute déjà) que ce n'est guère brillantissime;