Introduction de la neuvième session du séminaire HEnsA20