ajout attributs sema/mutex
ajout algo prod/cons
ajout constantes pour sema et mutex
ajout algo prod/cons
ajout sema/mutex