Correzioni minime al'introduzione ai semafori Posix.