deux problèmes : ce fichier précompilé prend également beaucoup de temps sur mon serveur chinois, est-il possible de l’ignorer et de construire le cœur directement
