Pfaffian Systems in Involution