bash: convertir une chaîne de caratères en minuscules (lowercase)

#! /usr/bin/bash
# convert any uppercase to lowercase
echo "Entrez la chaîne à convertir en minuscules"
read y
echo "En minuscules"
string="${y,,}"
echo $string