Il faut déposer l'étrier de toutes façons, et ça ne pose absolument aucun problème.