sed '/^#/!d'   /etc/hosts                        >/tmp/hosts$$
echo "193.129.60.12 rs_bddpp # Serveur pre-prod" >>  /tmp/hosts$$
echo "193.129.60.12 rs_bdd   # Serveur prod"     >>  /tmp/hosts$$
sed s/#127.0.0.1/127.0.0.1/ /tmp/hosts$$         > /tmp/hosts
rm /tmp/temp$$