Condorcet, Jean-Antoine-Nicolas de Caritat , marquis de; Lucas Martín, Francisco Javier de