Stav dette: Procedentes vinculantes e inteligencia artificial: ¿hacia un "Automated Law"?