[gull] Différence entre user et users

[Thierry de Coulon]

Bonjour,

En relisant man mount je suis resté bloqué sur les deux paragraphes suivants:

user   Allow  an  ordinary  user  to mount the file system.  The
                     name of the mounting user is written to mtab so  that  he
                     can  unmount  the file system again.  This option implies
                     the options noexec, nosuid, and nodev (unless  overridden
                     by   subsequent   options,   as   in   the   option  line
                     user,exec,dev,suid).

users  Allow every user to mount and unmount  the  file  system.
                    This option implies the options noexec, nosuid, and nodev
                    (unless overridden  by  subsequent  options,  as  in  the
                    option line users,exec,dev,suid).

Je ne vois pas bien quelle différence il y a entre ces deux options. Ais-je 
raison de penser qu'il n'y en a que dans un système réellement 
multi-utilisateurs, dans lequel "users" autorise b à démonter une partition 
montée par a, alors que "user" ne permet qu'à celui qui a monté la partition 
de la démonter?

Merci d'avance pour cette précision.

Thierry

-- 
"Only two things are infinite, the universe and human stupidity, and I'm not
sure about the former" - Albert Einstein