Indications de type pratiques en PythonContrats d'annotation, syntaxe moderne, raffinement, protocoles, génériques et frontières d'exécution.