Le vrai problème pour moi c'est que justement, l'indentation peut dépendre de l'éditeur. Or, je peux être amené d'un client à l'autre à ne pas utiliser le même éditeur (ne serait-ce que parce que...