👤

Postcondición de entrada al almacén en una clase de uso