/*
    Retourne la longueur de la chaîne de caractères <s>.
 */

unsigned strlen(const char *s)
{
  unsigned l = 0;

  while (*s++)
    l++;

  return l;
}