v1.01.154 ZZZZ154 — Verification of « composite » types

Summary

It is a purely computational test of so-called « composite » data structures.

• 1. Reference problem
• 2. Benchmark solution
• 3. Modeling A