Quelques fonctions supplémentaires sur les chaînes de caractères