fatigué de développer vous-même des routines compliquées ?
Grâce à google codesearch, vous pouvez retrouver du code source, y compris pour inform par ex :
google.com/codesearch?q=+glk … rt=20&sa=N
par contre j’ai vu que nos différents jeux n’étaient pas (encore) forcément indexés