Et je confirme qu'avec ctrl+maj+C et en selectionnant comme il faut, il n'est pas possible de copier dans le terminal !
je ne comprends pas trop cette phrase mais peut-être n'ai-je pas été assez clair dans mon message précédent ou, il me semble, une interprétation maladroite du terme copier qui n'existe pas vraiment en informatique où l'on copie/colle en deux étapes.
Plus précisément
Si tu veux reproduire une formule donnée ici vers le terminal il te faut
1- la copier ici en la sélectionnant puis la copiant (Ctrl+C)
2- la coller dans le terminal par Ctrl+Maj+V
Si tu veux reproduire une donnée inscrite dans le terminal vers ici, ton prochain message par exemple (ou dans un traitement de texte, ou ...) il te faut
1- la copier dans le terminal en la sélectionnant puis la copiant (Ctrl+Maj+C)
2- la coller dans ton message par Ctrl+V
Note que toutes ces actions peuvent être faites par clic-droit avec la souris.