journal_geek:2023:20230204-executer-une-commande-qui-a-ete-precedemment-utilisee