Temps de compilation et json.hpp

Pour l'instant json.hpp est inclus... dans tools.h, donc quasiment partout. Pistes :

• retirer cela d'au moins tools.h
• utiliser si possible json_fwd.h à certains endroits https://github.com/nlohmann/json/issues/314

Et #2935.