En fait j'ai résolu le problème en déplaçant les lignes concernant le
$timer sous la 'configuration du répertoire d'inclusion'.
Ci-dessous mes modifications (avec les lignes problèmatiques
commentées):
// chronométrage du temps d'exécution
//require_once('finebase/FineTimer.php');
//$timer = new FineTimer();
//$timer->start();
// vérification des variables serveur
if (!isset($_SERVER['SCRIPT_FILENAME']) &&
isset($_SERVER['ORIG_SCRIPT_FILENAME']))
$_SERVER['SCRIPT_FILENAME'] = $_SERVER['ORIG_SCRIPT_FILENAME'];
// configuration du répertoire d'inclusion
$libPath = realpath(dirname($_SERVER['SCRIPT_FILENAME']) . "/../lib");
set_include_path($libPath . PATH_SEPARATOR . get_include_path());
// chargement des objets basiques
// REPARATION
require_once('finebase/FineTimer.php');
$timer = new FineTimer();
$timer->start();