Un moteur de recherche dédié au code, c’est une bonne idée (mais je me demande quels sites sont indexés …​