Typage des propriétés des commandes