C’est quelle police ?

(Et le thème est GitHub Dark Default, les icônes sont VSCode Icons)