A quoi sert le raccourci clavier Alt + Ctrl + 5 ?

Ce raccourci est utilisé par 14 programmes dans notre base de données.

Il n'y a pas de description générale pour ce raccourci.