Chop -- Enlève les espaces de fin de chaîne
string chop(string str);
Retourne largument sans les espaces de fin de chaîne.
$trimmed = Chop($line);
See also trim().