Cliquer sur Installation GHCi pour ouvrir la ressource.