A areia mais grossa é melhor.
A areia de concreto funcionaria muito melhor que a areia de pedreiro.
Quando eu costumava fazer pavers, usávamos pó de britador.
Dito isto, é um pátio e não uma entrada de automóveis ou uma estrada, por isso não acho que ficaria muito preocupado se já tivesse largado a areia de pedreiro.