Question: What formula do both Jaguar Racing and Pedro de la Rosa have in common?

Context paragraphs:
Juan de la Rosa: Juan Pedro de la Rosa (born August 7, 1986 in Tamaulipas, Mexico) is a professional Mexican boxer and is brother to Mexican Top Welterweight boxer, James de la Rosa.

Jaguar R5: The Jaguar R5 was a Formula One racing car used by Jaguar Racing to contest the 2004 Formula One season.  The R5 was the last chassis made by Jaguar Racing, before they became Red Bull Racing in .  The car was driven by Mark Webber and rookie Christian Klien and its first 2004 Formula One race was at the Circuit de Catalunya, Barcelona.

HRT F112: The HRT F112, also known as the Hispania F112, is the last Formula One racing car designed by HRT F1 Team for use in the 2012 Formula One season.  The car was driven by Pedro de la Rosa and Narain Karthikeyan.

Pedro Téllez-Girón, 9th Duke of Osuna: Pedro de Alcántara Téllez-Girón, 9th Duke of Osuna, Grandee of Spain, (in full, Spanish: "Don Pedro de Alcántara María Cayetano Ciriaco Rafael Domingo Vicente Téllez-Girón y Pacheco, noveno duque de Osuna, décimo marqués de Peñafiel, conde de Fontanar, décimo tercér conde de Ureña, señor de la villa de Morón de la Frontera, Archidona, El Arahal, Olvera, Ortejicar, Cazalla de la Sierra, Tiedra, Gumiel de Izán y Briones, Grande de España de 1ra clase, Camarero mayor del Rey, Notario mayor de los Reinos de Castilla, teniente general de los Reales Ejércitos, coronel del Regimiento de Reales Guardias Españoles y su Director general, miembro del Supremo Consejo de la Guerra, embajador extraordinario en Viena, 24 de la Real academia (10.7.1787), gentilhombre de cámara con ejercicio de Carlos III y de Carlos IV, caballero del Toisón de Oro (4.4.1794), Gran Cruz de la Orden de Carlos III" ), (8 August 1755 – 7 January 1807), was a Spanish nobleman.  He led Spanish troops during the French Revolutionary Wars.

Pedro de la Rosa: Pedro Martínez de la Rosa (] ; born 24 February 1971) is a Spanish Formula One driver who has participated in 107 Grands Prix for the Arrows, Jaguar, McLaren, Sauber and HRT F1 teams, debuting on 7 March 1999, becoming one of very few drivers to score a point at his first race.  He has scored a total of 35 championship points, which includes a podium finish at the 2006 Hungarian Grand Prix.

Jaguar Racing: Jaguar Racing is the name given to Jaguar's racing interests.  It made its Formula E debut ahead of the 2016–17 Formula E season.  It was previously a Formula One constructor that competed in the FIA Formula One World Championship from 2000 to 2004.

San Pedro de la Mata: The ruins of S. Pedro de la Mata are located in the middle of the countryside, at about 3 km southwest of the village (pedanía) of Casalgordo, in the municipality of Sonseca (province of Toledo, Castile-La Mancha, Spain).  The place can be reached by a dirt road starting west of the church of Casalgordo.  Nowadays S. Pedro de la Mata is completely in ruins, but the original foundations of a church can be clearly seen because they are dig in a large and quite flat granite boulder embedded in the soil.  Actually, S. Pedro de la Mata is a kind of semi-cave construction.  Some fragments of walls and a couple of arches can also be seen, but it is uncertain whether they are original or not.  Appears in some publications as San Pedro de Arisgotas or Casalgordo for nearby towns.

Jaguar R3: The Jaguar R3 is a Formula One racing car with which Jaguar Racing competed in the 2002 Formula One season.  The car was launched on January 4, 2002.  It was driven by Eddie Irvine and Pedro de la Rosa, both retained from 2001.

Jaguar R2: The Jaguar R2 was the car with which the Jaguar team competed in the Formula One season.  It was driven by Eddie Irvine, who was in his second year with the team, and Luciano Burti, who had deputised for Irvine at the 2000 Austrian Grand Prix.  However, the Brazilian was replaced by Pedro de la Rosa after only four Grands Prix.

Drivex: Drivex is an auto racing team and school based in Spain.  The team was founded by Pedro de la Rosa and Miguel Ángel de Castro in 2005 as a racing school.  The racing team is run by Miguel Ángel de Castro.

Supporting paragraphs: Pedro de la Rosa Jaguar Racing
Answer: Formula One