Initiation à l'algèbre de boole et aux systèmes logiques — Robert Lartigue