lourde logica propocicional (argumetos)
Tout plus