Mix the vinegar, water, salt, mushrooms, bay leaf, and cook it for 10 minutes. Decant water and dry the mushrooms with a kitchen napkin. Lay down the mushrooms into a clean jar, add peppercorns, clove, thyme, and pour the oil over the mushrooms to cover. Close the jar, pasteurize it, let it cool down. Keep the jar in a cool and dry place.