En relation avec le sujet du cours

L'arithmétique des ordinateurs et sa formalisation