Chrono
A simple chronometer to time Tapenade algorithms.
Create a new chronometer, initialized now.
elapsed
the elapsed time since initialization, in seconds dot hundred-ths.
reset
Reinitialize this chronometer now.