ok ok... curl 127.0.0.1 == curl 127.1
On peut omettre les 0
Pas 'standard' mais fonctionne sur debian
Il y avait un autre shortcut pour ping localhost mais je l'ai perdu :-/