Définition à la ligne 87 du fichier ProfilingInfo.cc.
Définition à la ligne 90 du fichier ProfilingInfo.cc.