Question: What is the name of the league that celebrated its 87th season, in which Club Deportivo Leganés participated in?

full_context: Document 1: La Liga: The Primera División, commonly known as La Liga and as La Liga Santander for sponsorship reasons with Santander, is the top professional association football division of the Spanish football league system. Administrated by the Liga de Fútbol Profesional (LFP), La Liga is contested by 20 teams, with the three lowest-placed teams relegated to the Segunda División and replaced by the top two teams in that division plus the winner of a play-off.
Document 2: 2007–08 La Liga: The 2007–08 La Liga season, the 77th since its establishment, started on 25 August 2007 and finished on 18 May 2008. Real Madrid defended their La Liga title successfully after a 2–1 victory over Osasuna. This season, all European leagues ended earlier than the previous season, due to the UEFA Euro 2008 championship. It also was the first year of the new La Liga television agreement that had La Sexta mark its first year of television broadcasting.
Document 3: 2017 Liga 1: The 2017 Liga 1 (also known as the GO-JEK Liga 1 for sponsorship reasons) season is the 60th season of top-flight football in Indonesia (under Football Association of Indonesia or PSSI), and the inaugural season of "Liga 1", replacing "Indonesia Super League". The season began on 15 April 2017 and scheduled to end on 12 November 2017. Fixtures for the 2017 season were announced on 11 April 2017.
Document 4: 2017–18 Premier League: The 2017–18 Premier League is the 26th season of the Premier League, the top English professional league for association football clubs, since its establishment in 1992. The season started on 11 August 2017 and is scheduled to finish on 13 May 2018. Fixtures for the 2017–18 season were announced on 14 June 2017.
Document 5: 1997–98 La Liga: The 1997–98 La Liga season, the 67th since its establishment, started on 30 August 1997 and finished on 16 May 1998. On 29 March 1998, Sporting Gijón drew 0-0 with Real Zaragoza while Racing Santander, who were 19th in the table at the time, lost by Athletic Bilbao 4-3, to make Sporting Gijón the first team in La Liga history to be relegated in March, ending the season with a League record low points tally of just 13.
Document 6: 2017–18 Oud-Heverlee Leuven season: The 2017–18 season is Oud-Heverlee Leuven's 16th competitive season in professional football and the team's second consecutive season at the second level following their relegation from the Belgian Pro League. It is also the first season under the ownership of the King Power International Group lead by Vichai Srivaddhanaprabha.
Document 7: 2017–18 CD Leganés season: During the 2017–18 season, Club Deportivo Leganés are participating in La Liga for the second time in their history, and the Copa del Rey.
Document 8: CD Leganés B: Club Deportivo Leganés B is a Spanish football team from Leganés, in the Madrid outskirts. They are the reserve team of CD Leganés. They play in white shirts with blue stripes, and white shorts. Their home stadium is the Anexo de Butarque.
Document 9: 1998–99 La Liga: The 1998–99 La Liga season, the 68th since its establishment, started on 29 August 1998 and finished on 20 June 1999.
Document 10: 2010–11 La Liga: The 2010–11 La Liga season (known as the "Liga BBVA" for sponsorship reasons) was the 80th since its establishment. The campaign began on 28 August 2010 and ended on 21 May 2011. A total of 20 teams contested the league, 17 of which already contested in the 2009–10 season and three of which were promoted from the Segunda División. In addition, a new match ball – the Nike Total 90 Tracer – served as the official ball for all matches.
Document 11: 2015–16 La Liga: The 2015–16 La Liga football season (known as the "Liga BBVA" for sponsorship reasons) was the 85th since its establishment. Barcelona were the defending champions. It started on 21 August 2015 and concluded on 15 May 2016. Barcelona retained the title, winning it for the second consecutive season (their 24th Liga title) after beating Granada 3–0 on the final matchday.
Document 12: 2017–18 La Liga: The 2017–18 La Liga season, also known as La Liga Santander for sponsorship reasons, is the 87th since its establishment. The season began on 18 August 2017 and is scheduled to conclude on 20 May 2018. The fixtures of the 2017–18 season were released on 21 July 2017.
Document 13: CD Leganés: Club Deportivo Leganés, S.A.D. is a Spanish football team from Leganés, in the Madrid outskirts. Founded on 26 June 1928 it currently plays in the Primera División, holding home games at "Estadio Municipal de Butarque", which seats 11,454 spectators.
Document 14: List of La Liga stadiums: Since the inception of La Liga in 1929, Spain's highest level of association football annual league tournament, 85 football stadiums have been used to host matches, with one more stadium set to host its first La Liga match in the 2016–17 season. The inaugural round of La Liga matches took place on 10 February 1929 with five clubs hosting the opening fixtures.
Document 15: 2016–17 CA Osasuna season: The 2016–17 season is the 96th season in the history of CA Osasuna. During the 2016–17 season the club will be competing in La Liga – after two years in the Segunda División they achieved promotion via the playoffs, despite finishing only sixth – and the Copa del Rey.
ground_truth: 2017–18 La Liga