Nelson Rodrigues' theatrical works :