cruches.md

jupytext:
  text_representation:
    extension: .md
    format_name: myst
    format_version: 0.13
    jupytext_version: 1.15.1
kernelspec:
  display_name: Python 3
  language: python
  name: python3

+++ {"deletable": false, "editable": false, "nbgrader": {"cell_type": "markdown", "checksum": "30edab3c3b48b688a1fe7deb30ec6d2f", "grade": false, "grade_id": "cell-531faa6d137cc87a", "locked": true, "schema_version": 3, "solution": false, "task": false}}

Les cruches

Soient deux cruches de capacités respectives 5 et 7 litres. Ces cruches ne sont pas graduées. Vous avez accès à un robinet qui vous permet de remplir à tout moment l'une ou l'autre des cruches:

remplir(0)
remplir(1)

De même, vous disposez d'une évacuation d'eau permettant de vider l'une ou l'autre des cruches:

vider(0)
vider(1)

Enfin, vous pouvez transvaser le contenu de la première cruche dans la seconde, et réciproquement:

verser(0)
verser(1)

Et c'est tout.