Tre piger og en gris (1972)