Envoyer par SMS: Introduction to bisimulation and coinduction