PanLinx
français
fra-000
postcondition
italiano
ita-000
postcondizione
PanLex