MERCI!!! Sur mes indications, mes étudiants cherchaient effectivement un champ de profil à modifier dans l'onglet modifier mon profil. Ce champ apparait lorsqu'en tant qu'admin j'édite un profil. Je n'avais donc jamais prêté attention au bouton sur la page d'accueil du profil. Mes étudiants ont bien accès à ce bouton et pourront donc éditer leur mot de passe.
Encore merci à tous pour votre réactivité, Franck