Mix the flour in a bowl with salt, sugar and vanilla, add butter, rub everything into a coarse crumb, then pour in a tablespoon of water and, stirring with a fork, knead the dough, it should become a little moist, mash it a little with your hands, roll it into a ball, wrap it in a wrap and refrigerate for 30 minutes.