1389 Comment utiliser l'outil

https://w3id.org/class/redaktor/HowToTool

Un outil utilisé (mais non consommé) lors de l'exécution d'instructions sur la manière d'obtenir un résultat.