Not Tabasco. A kind of European chili + olive oil to spice up our pizza. [Avignon]