times
Restituisce una lista di quattro elementi dando il times utente e di sistema, in
secondi, per il processo corrente e per i figli di questo processo.
($utente,$sistema,$figlioutente,$figliosistema) = times;
In un contesto scalare, times restituisce $utente.