backport commit 902e125dd88e2b10f7ec43acffa7d051701a82fe from dtk master
branch for num3sis compatibility
Merge branch 'master' of github.com:d-tk/dtk

# Veuillez entrer un message de validation pour expliquer en quoi cette fusion est
# nécessaire, surtout si cela fusionne une branche amont mise à jour dans une branche de sujet.
#
# Les lignes commençant par '#' seront ignorées, et un message vide
# abandonne la validation.