J'ai un autre petit problème avec ma machine sous debian.
Elle est connectée à un réseau et ça marche plutot pas mal (youpi !).
En gros, je peux la ping, la ssher, la ftper ... mais seulement sur son IP.
Pourtant j'ai mis son petit nom dans /etc/hostname et j'ai mis les bons
serveurs dans /etc/resolv.conf et quand je fais host <mon_ip> ca donne le
bon nom de ma machine.
Cette action est irreversible, confirmez la suppression du commentaire ?
Signaler le commentaire
Veuillez sélectionner un problème
Nudité
Violence
Harcèlement
Fraude
Vente illégale
Discours haineux
Terrorisme
Autre
Kevin
Le Thu, 09 Oct 2003 19:49:04 +0200, Non Compos Mentis a ecrit: | | Ben non, je pensais que mes machines allaient consulter les serveur DNS | (les memes que ceux qui sont dans mon /etc/resolv.conf de ma debian) et | que le serveur DNS leur repondait la meme chose qu'a ma debian c'est à | dire son petit nom. | | Y a qqchose qui m'echappe :p
Que quand tu demandes a ta debian son petit nom, elle n'interroge pas les DNS pour le connaitre. Et elle ne va pas modifier d'elle meme les DNS pour leur dire qu'elle repond a ce nom/IP.
-- Kevin C'est vraaaaaiment etrange. -+- Les 100 choses que vous n'aimez pas entendre de la part du sysadmin -+-
Le Thu, 09 Oct 2003 19:49:04 +0200, Non Compos Mentis a ecrit:
|
| Ben non, je pensais que mes machines allaient consulter les serveur DNS
| (les memes que ceux qui sont dans mon /etc/resolv.conf de ma debian) et
| que le serveur DNS leur repondait la meme chose qu'a ma debian c'est à
| dire son petit nom.
|
| Y a qqchose qui m'echappe :p
Que quand tu demandes a ta debian son petit nom, elle n'interroge pas
les DNS pour le connaitre. Et elle ne va pas modifier d'elle meme les
DNS pour leur dire qu'elle repond a ce nom/IP.
--
Kevin
C'est vraaaaaiment etrange.
-+- Les 100 choses que vous n'aimez pas entendre de la part du sysadmin -+-
Le Thu, 09 Oct 2003 19:49:04 +0200, Non Compos Mentis a ecrit: | | Ben non, je pensais que mes machines allaient consulter les serveur DNS | (les memes que ceux qui sont dans mon /etc/resolv.conf de ma debian) et | que le serveur DNS leur repondait la meme chose qu'a ma debian c'est à | dire son petit nom. | | Y a qqchose qui m'echappe :p
Que quand tu demandes a ta debian son petit nom, elle n'interroge pas les DNS pour le connaitre. Et elle ne va pas modifier d'elle meme les DNS pour leur dire qu'elle repond a ce nom/IP.
-- Kevin C'est vraaaaaiment etrange. -+- Les 100 choses que vous n'aimez pas entendre de la part du sysadmin -+-
Thomas Nemeth
Le jeu 09 oct 2003 à 19:00, Non Compos Mentis a tapoté : | Hopla,
Bonsoir,
| J'ai un autre petit problème avec ma machine sous debian. | Elle est connectée à un réseau et ça marche plutot pas mal (youpi !). | En gros, je peux la ping, la ssher, la ftper ... mais seulement sur son IP. | Pourtant j'ai mis son petit nom dans /etc/hostname et j'ai mis les bons | serveurs dans /etc/resolv.conf et quand je fais host <mon_ip> ca donne le | bon nom de ma machine. | | Bref, ça m'interpelle quelque part ! | | Si vous avez une idée ...
Est-elle serveur DNS pour tout le réseau ? Ce sont les autres machines qui ne savent pas comment transformer le nom en IP : ce sont elles qu'il faut configurer (si le serveur DNS de ta debian est correctement installé et configuré), soit en leur disant où se trouve le serveur DNS, soit en leur renseignant leur fichier hosts.
Thomas -- ... moi je dis qu'une nouvelle version du 4004 est toujours un événement ;-) La seule chose vraiment intéressante est la taille du radiateur. Faut-il toujours 2 pentium III pour faire un moule à gaufres ? + EH in Guide du Macounet Pervers : À quoi rime ce ski corse à gaufre? +
Le jeu 09 oct 2003 à 19:00, Non Compos Mentis a tapoté :
| Hopla,
Bonsoir,
| J'ai un autre petit problème avec ma machine sous debian.
| Elle est connectée à un réseau et ça marche plutot pas mal (youpi !).
| En gros, je peux la ping, la ssher, la ftper ... mais seulement sur son IP.
| Pourtant j'ai mis son petit nom dans /etc/hostname et j'ai mis les bons
| serveurs dans /etc/resolv.conf et quand je fais host <mon_ip> ca donne le
| bon nom de ma machine.
|
| Bref, ça m'interpelle quelque part !
|
| Si vous avez une idée ...
Est-elle serveur DNS pour tout le réseau ?
Ce sont les autres machines qui ne savent pas comment transformer le
nom en IP : ce sont elles qu'il faut configurer (si le serveur DNS
de ta debian est correctement installé et configuré), soit en leur
disant où se trouve le serveur DNS, soit en leur renseignant leur
fichier hosts.
Thomas
--
... moi je dis qu'une nouvelle version du 4004 est toujours un événement
;-) La seule chose vraiment intéressante est la taille du radiateur.
Faut-il toujours 2 pentium III pour faire un moule à gaufres ?
+ EH in Guide du Macounet Pervers : À quoi rime ce ski corse à gaufre? +
Le jeu 09 oct 2003 à 19:00, Non Compos Mentis a tapoté : | Hopla,
Bonsoir,
| J'ai un autre petit problème avec ma machine sous debian. | Elle est connectée à un réseau et ça marche plutot pas mal (youpi !). | En gros, je peux la ping, la ssher, la ftper ... mais seulement sur son IP. | Pourtant j'ai mis son petit nom dans /etc/hostname et j'ai mis les bons | serveurs dans /etc/resolv.conf et quand je fais host <mon_ip> ca donne le | bon nom de ma machine. | | Bref, ça m'interpelle quelque part ! | | Si vous avez une idée ...
Est-elle serveur DNS pour tout le réseau ? Ce sont les autres machines qui ne savent pas comment transformer le nom en IP : ce sont elles qu'il faut configurer (si le serveur DNS de ta debian est correctement installé et configuré), soit en leur disant où se trouve le serveur DNS, soit en leur renseignant leur fichier hosts.
Thomas -- ... moi je dis qu'une nouvelle version du 4004 est toujours un événement ;-) La seule chose vraiment intéressante est la taille du radiateur. Faut-il toujours 2 pentium III pour faire un moule à gaufres ? + EH in Guide du Macounet Pervers : À quoi rime ce ski corse à gaufre? +
Non Compos Mentis
Le Thu, 09 Oct 2003 17:08:49 +0000, Thomas Nemeth a écrit plein de trucs passionnants :
Est-elle serveur DNS pour tout le réseau ? Ce sont les autres machines qui ne savent pas comment transformer le nom en IP : ce sont elles qu'il faut configurer (si le serveur DNS de ta debian est correctement installé et configuré), soit en leur disant où se trouve le serveur DNS, soit en leur renseignant leur fichier hosts.
Thomas
En fait, y a peut etre pas de problème comme tu dis,,, Je n'ai pas installé de serveur DNS sur la bestiole donc je suppose que quand je fais un host ip sur ma debian, elle va consulter le serveur défini dans /etc/resolv.conf. Dans ce cas, elle me renvoye le bon nom Par contre, si je fais un ping nom_dns_debian sur un windows, ca ne donne rien (sauf si je la rajoute dans le fichier HOSTS qui va bien) C'est normal ça ?
Le Thu, 09 Oct 2003 17:08:49 +0000, Thomas Nemeth a écrit plein de trucs
passionnants :
Est-elle serveur DNS pour tout le réseau ?
Ce sont les autres machines qui ne savent pas comment transformer le
nom en IP : ce sont elles qu'il faut configurer (si le serveur DNS
de ta debian est correctement installé et configuré), soit en leur
disant où se trouve le serveur DNS, soit en leur renseignant leur
fichier hosts.
Thomas
En fait, y a peut etre pas de problème comme tu dis,,,
Je n'ai pas installé de serveur DNS sur la bestiole
donc je suppose que quand je fais un host ip sur ma debian, elle va
consulter le serveur défini dans /etc/resolv.conf. Dans ce cas, elle me
renvoye le bon nom
Par contre, si je fais un ping nom_dns_debian sur un windows, ca ne donne
rien (sauf si je la rajoute dans le fichier HOSTS qui va bien)
C'est normal ça ?
Le Thu, 09 Oct 2003 17:08:49 +0000, Thomas Nemeth a écrit plein de trucs passionnants :
Est-elle serveur DNS pour tout le réseau ? Ce sont les autres machines qui ne savent pas comment transformer le nom en IP : ce sont elles qu'il faut configurer (si le serveur DNS de ta debian est correctement installé et configuré), soit en leur disant où se trouve le serveur DNS, soit en leur renseignant leur fichier hosts.
Thomas
En fait, y a peut etre pas de problème comme tu dis,,, Je n'ai pas installé de serveur DNS sur la bestiole donc je suppose que quand je fais un host ip sur ma debian, elle va consulter le serveur défini dans /etc/resolv.conf. Dans ce cas, elle me renvoye le bon nom Par contre, si je fais un ping nom_dns_debian sur un windows, ca ne donne rien (sauf si je la rajoute dans le fichier HOSTS qui va bien) C'est normal ça ?
Thomas Nemeth
Le jeu 09 oct 2003 à 19:20, Non Compos Mentis a tapoté : | Le Thu, 09 Oct 2003 17:08:49 +0000, Thomas Nemeth a écrit plein de trucs | passionnants : | | > Est-elle serveur DNS pour tout le réseau ? | > Ce sont les autres machines qui ne savent pas comment transformer le | > nom en IP : ce sont elles qu'il faut configurer (si le serveur DNS | > de ta debian est correctement installé et configuré), soit en leur | > disant où se trouve le serveur DNS, soit en leur renseignant leur | > fichier hosts. | | En fait, y a peut etre pas de problème comme tu dis,,, | Je n'ai pas installé de serveur DNS sur la bestiole | donc je suppose que quand je fais un host ip sur ma debian, elle va | consulter le serveur défini dans /etc/resolv.conf. Dans ce cas, elle me | renvoye le bon nom
Normal.
| Par contre, si je fais un ping nom_dns_debian sur un windows, ca ne donne | rien (sauf si je la rajoute dans le fichier HOSTS qui va bien) | C'est normal ça ?
Bin oui. Comment veux-tu que tes machines windows puissent deviner le nom de ta machine debian ? Par magie :) ?
Thomas -- sinon pomme Q, en avant dernier recours (appli plantée) pomme option échap, en dernier recours bouton sous l'écran, et au pire de tout le trombonne, ou la prise. après une hache ou une tronconneuse -+- MT in Guide du Macounet Pervers : Bien killer son appli -+-
Le jeu 09 oct 2003 à 19:20, Non Compos Mentis a tapoté :
| Le Thu, 09 Oct 2003 17:08:49 +0000, Thomas Nemeth a écrit plein de trucs
| passionnants :
|
| > Est-elle serveur DNS pour tout le réseau ?
| > Ce sont les autres machines qui ne savent pas comment transformer le
| > nom en IP : ce sont elles qu'il faut configurer (si le serveur DNS
| > de ta debian est correctement installé et configuré), soit en leur
| > disant où se trouve le serveur DNS, soit en leur renseignant leur
| > fichier hosts.
|
| En fait, y a peut etre pas de problème comme tu dis,,,
| Je n'ai pas installé de serveur DNS sur la bestiole
| donc je suppose que quand je fais un host ip sur ma debian, elle va
| consulter le serveur défini dans /etc/resolv.conf. Dans ce cas, elle me
| renvoye le bon nom
Normal.
| Par contre, si je fais un ping nom_dns_debian sur un windows, ca ne donne
| rien (sauf si je la rajoute dans le fichier HOSTS qui va bien)
| C'est normal ça ?
Bin oui. Comment veux-tu que tes machines windows puissent deviner
le nom de ta machine debian ? Par magie :) ?
Thomas
--
sinon pomme Q, en avant dernier recours (appli plantée) pomme option
échap, en dernier recours bouton sous l'écran, et au pire de tout le
trombonne, ou la prise. après une hache ou une tronconneuse
-+- MT in Guide du Macounet Pervers : Bien killer son appli -+-
Le jeu 09 oct 2003 à 19:20, Non Compos Mentis a tapoté : | Le Thu, 09 Oct 2003 17:08:49 +0000, Thomas Nemeth a écrit plein de trucs | passionnants : | | > Est-elle serveur DNS pour tout le réseau ? | > Ce sont les autres machines qui ne savent pas comment transformer le | > nom en IP : ce sont elles qu'il faut configurer (si le serveur DNS | > de ta debian est correctement installé et configuré), soit en leur | > disant où se trouve le serveur DNS, soit en leur renseignant leur | > fichier hosts. | | En fait, y a peut etre pas de problème comme tu dis,,, | Je n'ai pas installé de serveur DNS sur la bestiole | donc je suppose que quand je fais un host ip sur ma debian, elle va | consulter le serveur défini dans /etc/resolv.conf. Dans ce cas, elle me | renvoye le bon nom
Normal.
| Par contre, si je fais un ping nom_dns_debian sur un windows, ca ne donne | rien (sauf si je la rajoute dans le fichier HOSTS qui va bien) | C'est normal ça ?
Bin oui. Comment veux-tu que tes machines windows puissent deviner le nom de ta machine debian ? Par magie :) ?
Thomas -- sinon pomme Q, en avant dernier recours (appli plantée) pomme option échap, en dernier recours bouton sous l'écran, et au pire de tout le trombonne, ou la prise. après une hache ou une tronconneuse -+- MT in Guide du Macounet Pervers : Bien killer son appli -+-
Non Compos Mentis
Le Thu, 09 Oct 2003 17:41:28 +0000, Thomas Nemeth a écrit en rimes :
| Par contre, si je fais un ping nom_dns_debian sur un windows, ca ne donne | rien (sauf si je la rajoute dans le fichier HOSTS qui va bien) | C'est normal ça ?
Bin oui. Comment veux-tu que tes machines windows puissent deviner le nom de ta machine debian ? Par magie :) ?
Thomas
Ben non, je pensais que mes machines allaient consulter les serveur DNS (les memes que ceux qui sont dans mon /etc/resolv.conf de ma debian) et que le serveur DNS leur repondait la meme chose qu'a ma debian c'est à dire son petit nom.
Y a qqchose qui m'echappe :p
Le Thu, 09 Oct 2003 17:41:28 +0000, Thomas Nemeth a écrit en rimes :
| Par contre, si je fais un ping nom_dns_debian sur un windows, ca ne donne
| rien (sauf si je la rajoute dans le fichier HOSTS qui va bien)
| C'est normal ça ?
Bin oui. Comment veux-tu que tes machines windows puissent deviner
le nom de ta machine debian ? Par magie :) ?
Thomas
Ben non, je pensais que mes machines allaient consulter les serveur DNS
(les memes que ceux qui sont dans mon /etc/resolv.conf de ma debian) et
que le serveur DNS leur repondait la meme chose qu'a ma debian c'est à
dire son petit nom.
Le Thu, 09 Oct 2003 17:41:28 +0000, Thomas Nemeth a écrit en rimes :
| Par contre, si je fais un ping nom_dns_debian sur un windows, ca ne donne | rien (sauf si je la rajoute dans le fichier HOSTS qui va bien) | C'est normal ça ?
Bin oui. Comment veux-tu que tes machines windows puissent deviner le nom de ta machine debian ? Par magie :) ?
Thomas
Ben non, je pensais que mes machines allaient consulter les serveur DNS (les memes que ceux qui sont dans mon /etc/resolv.conf de ma debian) et que le serveur DNS leur repondait la meme chose qu'a ma debian c'est à dire son petit nom.
Y a qqchose qui m'echappe :p
Non Compos Mentis
Le Thu, 09 Oct 2003 11:12:38 +0000, Kevin DENIS a écrit :
Le Thu, 09 Oct 2003 19:49:04 +0200, Non Compos Mentis a ecrit: | | Ben non, je pensais que mes machines allaient consulter les serveur DNS | (les memes que ceux qui sont dans mon /etc/resolv.conf de ma debian) et | que le serveur DNS leur repondait la meme chose qu'a ma debian c'est à | dire son petit nom. | | Y a qqchose qui m'echappe :p
Que quand tu demandes a ta debian son petit nom, elle n'interroge pas les DNS pour le connaitre. Et elle ne va pas modifier d'elle meme les DNS pour leur dire qu'elle repond a ce nom/IP.
OK elle est maline la petite :) Mais y a t-il un moyen de consulter le serveur dns depuis la debian pour voir ce qu'il repond ?
Le Thu, 09 Oct 2003 11:12:38 +0000, Kevin DENIS a écrit :
Le Thu, 09 Oct 2003 19:49:04 +0200, Non Compos Mentis a ecrit:
|
| Ben non, je pensais que mes machines allaient consulter les serveur DNS
| (les memes que ceux qui sont dans mon /etc/resolv.conf de ma debian) et
| que le serveur DNS leur repondait la meme chose qu'a ma debian c'est à
| dire son petit nom.
|
| Y a qqchose qui m'echappe :p
Que quand tu demandes a ta debian son petit nom, elle n'interroge pas
les DNS pour le connaitre. Et elle ne va pas modifier d'elle meme les
DNS pour leur dire qu'elle repond a ce nom/IP.
OK elle est maline la petite :)
Mais y a t-il un moyen de consulter le serveur dns depuis la debian pour
voir ce qu'il repond ?
Le Thu, 09 Oct 2003 11:12:38 +0000, Kevin DENIS a écrit :
Le Thu, 09 Oct 2003 19:49:04 +0200, Non Compos Mentis a ecrit: | | Ben non, je pensais que mes machines allaient consulter les serveur DNS | (les memes que ceux qui sont dans mon /etc/resolv.conf de ma debian) et | que le serveur DNS leur repondait la meme chose qu'a ma debian c'est à | dire son petit nom. | | Y a qqchose qui m'echappe :p
Que quand tu demandes a ta debian son petit nom, elle n'interroge pas les DNS pour le connaitre. Et elle ne va pas modifier d'elle meme les DNS pour leur dire qu'elle repond a ce nom/IP.
OK elle est maline la petite :) Mais y a t-il un moyen de consulter le serveur dns depuis la debian pour voir ce qu'il repond ?
Kevin
Le Thu, 09 Oct 2003 21:15:29 +0200, Non Compos Mentis a ecrit: |> |> Que quand tu demandes a ta debian son petit nom, elle n'interroge pas |> les DNS pour le connaitre. Et elle ne va pas modifier d'elle meme les |> DNS pour leur dire qu'elle repond a ce nom/IP. | | OK elle est maline la petite :) | Mais y a t-il un moyen de consulter le serveur dns depuis la debian pour | voir ce qu'il repond ?
tu peux toujours utiliser nslookup - IP_DU_DNS pour interroger un DNS particulier, mais si les autres machines ne trouvent pas la debian, je ne vois pas pourquoi elle trouverait mieux. Le client appelant n'ayant aucune incidence sur la reponse du serveur
-- Kevin Comment ca, ca n'etait pas la copie? -+- Les 100 choses que vous n'aimez pas entendre de la part du sysadmin -+-
Le Thu, 09 Oct 2003 21:15:29 +0200, Non Compos Mentis a ecrit:
|>
|> Que quand tu demandes a ta debian son petit nom, elle n'interroge pas
|> les DNS pour le connaitre. Et elle ne va pas modifier d'elle meme les
|> DNS pour leur dire qu'elle repond a ce nom/IP.
|
| OK elle est maline la petite :)
| Mais y a t-il un moyen de consulter le serveur dns depuis la debian pour
| voir ce qu'il repond ?
tu peux toujours utiliser nslookup - IP_DU_DNS pour interroger un DNS
particulier, mais si les autres machines ne trouvent pas la debian,
je ne vois pas pourquoi elle trouverait mieux. Le client appelant
n'ayant aucune incidence sur la reponse du serveur
--
Kevin
Comment ca, ca n'etait pas la copie?
-+- Les 100 choses que vous n'aimez pas entendre de la part du sysadmin -+-
Le Thu, 09 Oct 2003 21:15:29 +0200, Non Compos Mentis a ecrit: |> |> Que quand tu demandes a ta debian son petit nom, elle n'interroge pas |> les DNS pour le connaitre. Et elle ne va pas modifier d'elle meme les |> DNS pour leur dire qu'elle repond a ce nom/IP. | | OK elle est maline la petite :) | Mais y a t-il un moyen de consulter le serveur dns depuis la debian pour | voir ce qu'il repond ?
tu peux toujours utiliser nslookup - IP_DU_DNS pour interroger un DNS particulier, mais si les autres machines ne trouvent pas la debian, je ne vois pas pourquoi elle trouverait mieux. Le client appelant n'ayant aucune incidence sur la reponse du serveur
-- Kevin Comment ca, ca n'etait pas la copie? -+- Les 100 choses que vous n'aimez pas entendre de la part du sysadmin -+-
Thomas Nemeth
Le jeu 09 oct 2003 à 21:15, Non Compos Mentis a tapoté : | Le Thu, 09 Oct 2003 11:12:38 +0000, Kevin DENIS a écrit : | | > Le Thu, 09 Oct 2003 19:49:04 +0200, Non Compos Mentis a ecrit: | > | | > | Ben non, je pensais que mes machines allaient consulter les serveur DNS | > | (les memes que ceux qui sont dans mon /etc/resolv.conf de ma debian) et | > | que le serveur DNS leur repondait la meme chose qu'a ma debian c'est à | > | dire son petit nom. | > | | > | Y a qqchose qui m'echappe :p | > | > Que quand tu demandes a ta debian son petit nom, elle n'interroge pas | > les DNS pour le connaitre. Et elle ne va pas modifier d'elle meme les | > DNS pour leur dire qu'elle repond a ce nom/IP. | | OK elle est maline la petite :) | Mais y a t-il un moyen de consulter le serveur dns depuis la debian pour | voir ce qu'il repond ?
Mettre son IP dans une entrée nameserver de /etc/resolv.conf
Thomas -- Si on veut faire de grandes choses, il faut se placer au milieu des hommes et non pas au-dessus d'eux. -- Montesquieu
Le jeu 09 oct 2003 à 21:15, Non Compos Mentis a tapoté :
| Le Thu, 09 Oct 2003 11:12:38 +0000, Kevin DENIS a écrit :
|
| > Le Thu, 09 Oct 2003 19:49:04 +0200, Non Compos Mentis a ecrit:
| > |
| > | Ben non, je pensais que mes machines allaient consulter les serveur DNS
| > | (les memes que ceux qui sont dans mon /etc/resolv.conf de ma debian) et
| > | que le serveur DNS leur repondait la meme chose qu'a ma debian c'est à
| > | dire son petit nom.
| > |
| > | Y a qqchose qui m'echappe :p
| >
| > Que quand tu demandes a ta debian son petit nom, elle n'interroge pas
| > les DNS pour le connaitre. Et elle ne va pas modifier d'elle meme les
| > DNS pour leur dire qu'elle repond a ce nom/IP.
|
| OK elle est maline la petite :)
| Mais y a t-il un moyen de consulter le serveur dns depuis la debian pour
| voir ce qu'il repond ?
Mettre son IP dans une entrée nameserver de /etc/resolv.conf
Thomas
--
Si on veut faire de grandes choses,
il faut se placer au milieu des hommes
et non pas au-dessus d'eux.
-- Montesquieu
Le jeu 09 oct 2003 à 21:15, Non Compos Mentis a tapoté : | Le Thu, 09 Oct 2003 11:12:38 +0000, Kevin DENIS a écrit : | | > Le Thu, 09 Oct 2003 19:49:04 +0200, Non Compos Mentis a ecrit: | > | | > | Ben non, je pensais que mes machines allaient consulter les serveur DNS | > | (les memes que ceux qui sont dans mon /etc/resolv.conf de ma debian) et | > | que le serveur DNS leur repondait la meme chose qu'a ma debian c'est à | > | dire son petit nom. | > | | > | Y a qqchose qui m'echappe :p | > | > Que quand tu demandes a ta debian son petit nom, elle n'interroge pas | > les DNS pour le connaitre. Et elle ne va pas modifier d'elle meme les | > DNS pour leur dire qu'elle repond a ce nom/IP. | | OK elle est maline la petite :) | Mais y a t-il un moyen de consulter le serveur dns depuis la debian pour | voir ce qu'il repond ?
Mettre son IP dans une entrée nameserver de /etc/resolv.conf
Thomas -- Si on veut faire de grandes choses, il faut se placer au milieu des hommes et non pas au-dessus d'eux. -- Montesquieu