Precision: What actually do `freeze`/`thaw` mean?

@kaushikcfd raised the question after attempting a precise description in a paper.

Here are some aspects:
- Arithmetic/other ops are guaranteed to be available only on thawed arrays.
- Exchange between array contexts is only allowed on frozen arrays.

Maybe that suffices?

L’issue ne nomme aucun fichier, test ou point d’entrée. Commencez par localiser les définitions et la documentation existantes pour freeze et thaw, puis comparez leurs garanties annoncées avec le comportement des array contexts ; le travail est terminé lorsque la sémantique et les opérations autorisées sont décrites avec précision.

Rédigé par le modèle d'indexation à partir du texte de l'issue.