普罗旺斯薰衣草种植面积是多少亩