combien de pierre sont nécessaires