J'ai rencontré des séquences bash telles que \033[999Det \033[2K\rqui sont utilisées pour effectuer des manipulations sur une impression sur un terminal. Mais que signifient ces séquences? Où puis-je trouver une liste / un résumé sur le Web pour m'aider à trouver la signification de ces séquences?