%% Translation of GIT committish: e99967817ff985eb5bd5b0220b2fbf552963f9de
  texidocfr = "
La fonction @code{print} peut se modifier pour obtenir l'encadrement de
n'importe quel objet.

"
  doctitlefr = "Encadrement d'objets"