discussion:informatique:bash:symbole_double_et_commercial