ProgSeq (13.01.2021): Assertions

13, HEPIA - Programmation séquentielle